entrypoints.js
|
small fixes
|
2019-12-28 10:28:12 +01:00 |
split.js
|
saving size and visibility state of the panes
|
2019-12-23 20:34:29 +01:00 |
tab_row.js
|
removed left and right sidebar sizing options
|
2019-12-23 19:45:59 +01:00 |
tree.js
|
small fixes
|
2019-12-28 10:28:12 +01:00 |
tree_builder.js
|
sync fixes
|
2019-12-16 22:47:07 +01:00 |
tree_cache.js
|
small sync fixes
|
2019-12-16 22:00:44 +01:00 |
ws.js
|
clearer WS error message
|
2019-12-20 20:17:58 +01:00 |