Hannes Janetzek eb1e8b63c5 refactor: extract animation stuff from Viewport into MapAnimator

2013-10-09 02:38:01 +02:00

..

client

refactor: extract animation stuff from Viewport into MapAnimator

2013-10-09 02:38:01 +02:00

emu

refactor: rename MapView -> Map, MapViewPosition -> Viewport

2013-10-09 02:38:00 +02:00

GwtDefinition.gwt.xml

html: use chrome theme

2013-10-09 02:38:00 +02:00