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