osrm-backend/WebContent/gui
2012-07-05 09:24:27 +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 fixed a bug where elements of hidden GUIBoxes could be selected by 2012-06-14 08:08:14 +01:00
OSRM.MainGUI.js finalized alternative integration 2012-07-05 09:24:27 +01:00
OSRM.RoutingGUI.js finalized alternative integration 2012-07-05 09:24:27 +01:00
OSRM.Selector.js made html + css look better 2012-05-12 08:22:21 +02:00