# HG changeset patch # User Sebastian Kruse # Date 1355499216 -3600 # Node ID eac73bf1ce6ea61516f3855514aab3df2eee8172 # Parent 6f2d2b6f969a35d3b2c8bc2076cd9bf8f36c3a4d add overlay functionality (beta) diff -r 6f2d2b6f969a -r eac73bf1ce6e src/econnect/wp3_3/client/core/StiConstants.java --- a/src/econnect/wp3_3/client/core/StiConstants.java Fri Dec 14 16:32:55 2012 +0100 +++ b/src/econnect/wp3_3/client/core/StiConstants.java Fri Dec 14 16:33:36 2012 +0100 @@ -67,6 +67,9 @@ @DefaultStringValue("Choose from different map types") String mapLayers(); + @DefaultStringValue("Choose from different overlay types") + String overlayLayers(); + @DefaultStringValue("Animation Control for a selected time range") String animation0(); diff -r 6f2d2b6f969a -r eac73bf1ce6e src/econnect/wp3_3/client/widgets/map/Map.java --- a/src/econnect/wp3_3/client/widgets/map/Map.java Fri Dec 14 16:32:55 2012 +0100 +++ b/src/econnect/wp3_3/client/widgets/map/Map.java Fri Dec 14 16:33:36 2012 +0100 @@ -140,14 +140,49 @@ maps.setUrl(constants.mapsImage()); } } - }); - - final Grid controlGrid = new Grid(5,1); + }); + + //TODO: add correct (better) image + final Image overlay = new Image(constants.addImage()); + final MenuBar overlayMenu = new MenuBar(true); + + overlayMenu.setAnimationEnabled(true); + //TODO: add overlays from data + //for( int i=0; i