text
|
pull out editor-client and editor-api
|
2018-08-17 22:10:54 +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 |
font-awesome.js
|
Tidy up appearance tab in edit dialog
|
2018-10-22 14:41:47 +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 |
jquery-addons.js
|
Add more ui tooltips
|
2018-10-24 22:57:16 +01:00 |
keymap.json
|
Add event log to editor
|
2018-10-18 23:49:47 +01:00 |
main.js
|
pull out editor-client and editor-api
|
2018-08-17 22:10:54 +01:00 |
red.js
|
Add event log to editor
|
2018-10-18 23:49:47 +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 |