# HG changeset patch # User Sebastian Kruse # Date 1358263945 -3600 # Node ID d69066d16e45ccb59b4c3aea276bd45246d1975c # Parent caca95f925ccac806de179ba2f65fa75c40aaef3 load overlays from data-file diff -r caca95f925cc -r d69066d16e45 src/econnect/wp3_3/client/widgets/map/Map.java --- a/src/econnect/wp3_3/client/widgets/map/Map.java Mon Jan 14 14:37:26 2013 +0100 +++ b/src/econnect/wp3_3/client/widgets/map/Map.java Tue Jan 15 16:32:25 2013 +0100 @@ -147,17 +147,17 @@ final MenuBar overlayMenu = new MenuBar(true); overlayMenu.setAnimationEnabled(true); - //TODO: add overlays from data - //for( int i=0; i