ui
|
Merge branch 'dev' into pr_2076
|
2019-03-05 14:37:33 +00: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 |
jquery-addons.js
|
Add more ui tooltips
|
2018-10-24 22:57:16 +01:00 |
keymap.json
|
Add list-flows action and button
|
2019-03-04 22:37:51 +00:00 |
main.js
|
pull out editor-client and editor-api
|
2018-08-17 22:10:54 +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 |