| .. |
|
3rd_party_libs
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
media
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
atompm.html
|
e80d1f26d9
fixed placing of geometry tools
|
il y a 9 ans |
|
behaviourmanager.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
behavioursc_canvas.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
behavioursc_dialog.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
behavioursc_inputbar.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
client.js
|
b29a3f346a
added "new formalism" button to main toolbar, which creates a new
|
il y a 9 ans |
|
collaboration.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
compile_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
connection_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
constants.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
data_utils.js
|
c0e84c5dd5
added file management operations to file browser
|
il y a 9 ans |
|
edit_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
geometry_utils.js
|
094eeb841d
fixed a cross-browser bug
|
il y a 9 ans |
|
globalVariables.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
gui_utils.js
|
6a854d198f
if a folder exists when moving a folder, it is deleted first, and now files are unselected when a folder/file is moved/deleted
|
il y a 9 ans |
|
http_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
init.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
input_bar_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
mmm_utils.js
|
5e24646761
layering is implemented: each time an edge is created, icons get a number assigned to them based on their place in the containment hierarchy
|
il y a 9 ans |
|
query_response.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
selection_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
styles.css
|
e80d1f26d9
fixed placing of geometry tools
|
il y a 9 ans |
|
svg_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
il y a 9 ans |
|
user_management.js
|
9f92a74cea
fixed annoying cookie bug, user is now logged out if prefences not found
|
il y a 9 ans |
|
window_event.js
|
16cad9ca9b
fix for Firefox
|
il y a 9 ans |
|
window_management.js
|
6a854d198f
if a folder exists when moving a folder, it is deleted first, and now files are unselected when a folder/file is moved/deleted
|
il y a 9 ans |
Simon Van Mierlo
5e24646761
layering is implemented: each time an edge is created, icons get a number assigned to them based on their place in the containment hierarchy