base
|
Merge pull request #6866 from takluyver/nb-texteditor
|
2014-11-25 10:30:41 -08:00 |
notebook
|
Merge pull request #7007 from Carreau/less-update
|
2014-12-02 08:13:02 -06:00 |
style
|
use less variable for rounded corner
|
2014-12-01 21:31:34 +01:00 |
tree
|
Refresh terminal list. closes #7018 .
|
2014-11-30 12:13:40 +00:00 |
widgets
|
remove obsolete optimization
|
2014-11-26 15:17:01 +00:00 |