|
ui
|
Allow palette-editor to be disabled via editorTheme
|
2016-08-10 20:15:17 +01:00 |
|
events.js
|
Add editor events component and migrate to it
|
2015-07-10 19:49:53 +01:00 |
|
history.js
|
Allow workspace tabs to be re-ordered
|
2016-05-04 15:22:30 +01:00 |
|
i18n.js
|
Allow a language catalog to be a partial catalog
|
2015-09-24 21:56:45 +01:00 |
|
main.js
|
Add install tab to palette-editor
|
2016-08-09 10:43:03 +01:00 |
|
nodes.js
|
Enable palette-editor remove buttons
|
2016-08-05 13:39:14 +01:00 |
|
settings.js
|
Update Ace Editor
|
2016-04-10 12:19:59 +01:00 |
|
validators.js
|
Add build step to Grunt file
|
2015-04-09 10:22:05 +01:00 |