ui
|
Add initial palette sidebar
|
2016-07-29 12:52:00 +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
|
Fix node.status to check hasOwnProperty("text")
|
2016-07-06 17:22:45 +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 |