text
|
pull out editor-client and editor-api
|
2018-08-17 22:10:54 +01:00 |
ui
|
Allow palette to be hidden
|
2018-10-17 11:03:09 +01:00 |
comms.js
|
pull out editor-client and editor-api
|
2018-08-17 22:10:54 +01:00 |
events.js
|
pull out editor-client and editor-api
|
2018-08-17 22:10:54 +01:00 |
history.js
|
pull out editor-client and editor-api
|
2018-08-17 22:10:54 +01:00 |
i18n.js
|
pull out editor-client and editor-api
|
2018-08-17 22:10:54 +01:00 |
keymap.json
|
Allow palette to be hidden
|
2018-10-17 11:03:09 +01:00 |
main.js
|
pull out editor-client and editor-api
|
2018-08-17 22:10:54 +01:00 |
nodes.js
|
Added font-awesome icons to user defined icon
|
2018-09-26 09:16:15 +09:00 |
red.js
|
Allow palette to be hidden
|
2018-10-17 11:03:09 +01:00 |
settings.js
|
pull out editor-client and editor-api
|
2018-08-17 22:10:54 +01:00 |
user.js
|
pull out editor-client and editor-api
|
2018-08-17 22:10:54 +01:00 |
validators.js
|
pull out editor-client and editor-api
|
2018-08-17 22:10:54 +01:00 |