Simon Van Mierlo 6f0517c6f4 fixed bug with geometry overlay exception causing the interface to hang vor 8 Jahren
..
3rd_party_libs cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
media cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
atompm.html 9f326c45ad removed chatbox vor 9 Jahren
behaviourmanager.js cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
behavioursc_canvas.js cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
behavioursc_dialog.js b015b36f28 added a "file<pattern>" type, which will include a button in the editor to vor 9 Jahren
behavioursc_inputbar.js cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
client.js a5be6a8769 update vor 8 Jahren
collaboration.js cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
compile_utils.js cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
connection_utils.js cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
constants.js cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
data_utils.js 8e3778f90d moving a child of a container to one of its children (also a container) now correctly deletes the containment association vor 8 Jahren
edit_utils.js cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
geometry_utils.js 6f0517c6f4 fixed bug with geometry overlay exception causing the interface to hang vor 8 Jahren
globalVariables.js cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
gui_utils.js 406543f229 history repeats itself vor 8 Jahren
http_utils.js cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
init.js cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
input_bar_utils.js cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
mmm_utils.js 0d349caf74 fixed selection vor 8 Jahren
query_response.js a5be6a8769 update vor 8 Jahren
selection_utils.js 43b62abf2d unselect fixed vor 8 Jahren
styles.css 406543f229 history repeats itself vor 8 Jahren
svg_utils.js cdc03fc724 initial commit (v0.5.4) vor 9 Jahren
user_management.js 9f92a74cea fixed annoying cookie bug, user is now logged out if prefences not found vor 9 Jahren
window_event.js b015b36f28 added a "file<pattern>" type, which will include a button in the editor to vor 9 Jahren
window_management.js a5be6a8769 update vor 8 Jahren