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