Simon Van Mierlo 512bb0cb29 when deleting a folder, view is now updated with files moved to _Trash_ 9 лет назад
..
3rd_party_libs cdc03fc724 initial commit (v0.5.4) 9 лет назад
media cdc03fc724 initial commit (v0.5.4) 9 лет назад
atompm.html e80d1f26d9 fixed placing of geometry tools 9 лет назад
behaviourmanager.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
behavioursc_canvas.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
behavioursc_dialog.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
behavioursc_inputbar.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
client.js b29a3f346a added "new formalism" button to main toolbar, which creates a new 9 лет назад
collaboration.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
compile_utils.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
connection_utils.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
constants.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
data_utils.js c0e84c5dd5 added file management operations to file browser 9 лет назад
edit_utils.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
geometry_utils.js 094eeb841d fixed a cross-browser bug 9 лет назад
globalVariables.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
gui_utils.js c0e84c5dd5 added file management operations to file browser 9 лет назад
http_utils.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
init.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
input_bar_utils.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
mmm_utils.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
query_response.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
selection_utils.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
styles.css e80d1f26d9 fixed placing of geometry tools 9 лет назад
svg_utils.js cdc03fc724 initial commit (v0.5.4) 9 лет назад
user_management.js 9f92a74cea fixed annoying cookie bug, user is now logged out if prefences not found 9 лет назад
window_event.js 16cad9ca9b fix for Firefox 9 лет назад
window_management.js 512bb0cb29 when deleting a folder, view is now updated with files moved to _Trash_ 9 лет назад