editor.js
|
Only refresh info if editing_node not null
|
2014-02-27 16:28:12 +00:00 |
keyboard.js
|
Got to start somewhere
|
2013-09-05 15:02:48 +01:00 |
library.js
|
Got to start somewhere
|
2013-09-05 15:02:48 +01:00 |
notifications.js
|
Refinements to Unknown-node handling
|
2013-12-12 15:51:15 +00:00 |
palette.js
|
Cannot toggle an empty category
|
2014-01-19 19:23:25 +00:00 |
sidebar.js
|
Update info sidebar on node edit
|
2014-02-26 22:59:53 +00:00 |
state.js
|
Add config-node sidebar tab
|
2014-01-25 22:31:43 +00:00 |
tab-config.js
|
Update info sidebar on node edit
|
2014-02-26 22:59:53 +00:00 |
tab-info.js
|
Missed sidebar api changes
|
2014-02-27 16:47:28 +00:00 |
tabs.js
|
Tidy-up tab ui api
|
2014-02-21 09:54:50 +00:00 |
view.js
|
Missed sidebar api changes
|
2014-02-27 16:47:28 +00:00 |