osrm-backend/WebContent/gui
2012-07-05 14:50:16 +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.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