Moved to red highlight
This commit is contained in:
parent
657da72da6
commit
b5e6afb6ce
2
pom.xml
2
pom.xml
|
@ -20,7 +20,7 @@
|
||||||
|
|
||||||
<properties>
|
<properties>
|
||||||
<!-- Convenience property to set the GWT version -->
|
<!-- Convenience property to set the GWT version -->
|
||||||
<gwt.version>2.9.0</gwt.version>
|
<gwt.version>2.10.0</gwt.version>
|
||||||
<gwt.compiler.style>PRETTY</gwt.compiler.style>
|
<gwt.compiler.style>PRETTY</gwt.compiler.style>
|
||||||
<gson.version>2.6.2</gson.version>
|
<gson.version>2.6.2</gson.version>
|
||||||
<webappDirectory>${project.build.directory}/${project.build.finalName}</webappDirectory>
|
<webappDirectory>${project.build.directory}/${project.build.finalName}</webappDirectory>
|
||||||
|
|
|
@ -647,7 +647,7 @@ public abstract class OpenLayerMap {
|
||||||
|
|
||||||
Style style = new Style();
|
Style style = new Style();
|
||||||
StrokeOptions strokeOptions = new StrokeOptions();
|
StrokeOptions strokeOptions = new StrokeOptions();
|
||||||
strokeOptions.setColor(new Color(255, 255, 0, 0.8));
|
strokeOptions.setColor(new Color(255, 0, 0, 0.8));
|
||||||
strokeOptions.setWidth(5);
|
strokeOptions.setWidth(5);
|
||||||
Stroke stroke = new Stroke(strokeOptions);
|
Stroke stroke = new Stroke(strokeOptions);
|
||||||
stroke.setWidth(2);
|
stroke.setWidth(2);
|
||||||
|
|
Loading…
Reference in New Issue