osrm-backend/WebContent/gui
2012-08-24 07:58:29 +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 added tooltip for gui boxes 2012-08-22 16:20:28 +01:00
OSRM.MainGUI.js temporary commit 2012-08-24 07:58:29 +01:00
OSRM.Notifications.js notifications can be switched on/off in OSRM.config, 2012-07-30 14:40:56 +02:00
OSRM.RoutingGUI.js temporary commit 2012-08-24 07:58:29 +01:00
OSRM.Selector.js selector elements now use offsetHeight and offsetWidth instead of 2012-07-03 10:24:10 +01:00