From 37d71028d8deced90b75def00988d29f090ea4a6 Mon Sep 17 00:00:00 2001 From: Christian Mayer Date: Wed, 26 Nov 2014 19:42:37 +0100 Subject: [PATCH] Minor style adaptions. According to the comments by @marcjansen some minor style adaptions are added by this commit. --- examples/grid/feature-grid-w-proxy.html | 3 ++- examples/grid/feature-grid-w-proxy.js | 15 ++++++++++++++- 2 files changed, 16 insertions(+), 2 deletions(-) diff --git a/examples/grid/feature-grid-w-proxy.html b/examples/grid/feature-grid-w-proxy.html index 9e1249495..8c61c3073 100644 --- a/examples/grid/feature-grid-w-proxy.html +++ b/examples/grid/feature-grid-w-proxy.html @@ -14,7 +14,8 @@ diff --git a/examples/grid/feature-grid-w-proxy.js b/examples/grid/feature-grid-w-proxy.js index a98f2dab1..8628d8f65 100644 --- a/examples/grid/feature-grid-w-proxy.js +++ b/examples/grid/feature-grid-w-proxy.js @@ -56,9 +56,22 @@ Ext.application({ graphicName: "circle" }; var style = new OpenLayers.Style(template); + var defStyle = new OpenLayers.Style(template); + var selStyle = new OpenLayers.Style( + Ext.apply( + Ext.apply({}, template), + { + strokeWidth: 3, + pointRadius: 15, + fontSize: "15px", + fontWeight: "bold" + } + ) + ); var vecLayer = new OpenLayers.Layer.Vector("vector", { styleMap: new OpenLayers.StyleMap({ - 'default': style + 'default': defStyle, + 'select': selStyle }) }); map.addLayers([wmsLayer, vecLayer]);