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