osrm-backend/WebContent/gui
2012-07-05 14:49:59 +01:00
..
OSRM.GUI.js gui handling now uses a main class in which all other gui classes plug 2012-04-27 08:40:18 +01:00
OSRM.GUIBoxGroup.js finished new box design 2012-05-08 20:52:41 +02:00
OSRM.GUIBoxHandle.js removed selection restrictions 2012-07-03 14:51:31 +01:00
OSRM.MainGUI.js finalized alternative integration 2012-07-05 09:24:27 +01:00
OSRM.Notifications.js moved tooltip position a bit down and on top of everything else besides 2012-07-05 14:36:01 +01:00
OSRM.Notifications.js.backup added backup to tooltip handling with wrapper function (not entirely 2012-07-05 14:49:59 +01:00
OSRM.RoutingGUI.js finalized alternative integration 2012-07-05 09:24:27 +01:00
OSRM.Selector.js selector elements now use offsetHeight and offsetWidth instead of 2012-07-03 10:24:10 +01:00