|
application
|
Minor cleanup
|
2020-12-12 12:27:50 +01:00 |
|
application-extension
|
Minor cleanup
|
2020-12-12 12:27:50 +01:00 |
|
docmanager-extension
|
Update to rc13
|
2020-12-10 00:47:58 +01:00 |
|
help-extension
|
Minor cleanup
|
2020-12-12 12:27:50 +01:00 |
|
lab-extension
|
Minor cleanup
|
2020-12-12 12:27:50 +01:00 |
|
notebook-extension
|
Add ellipsis for long file names
|
2020-12-10 21:41:17 +01:00 |
|
terminal-extension
|
Minor cleanup
|
2020-12-12 12:27:50 +01:00 |
|
tree-extension
|
Tweak Tree TabBar padding
|
2020-12-11 19:23:48 +01:00 |
|
ui-components
|
Minor cleanup
|
2020-12-12 12:27:50 +01:00 |
