 Afshin Darian
|
b2b656562a
Merge pull request #1245 from blink1073/running-notebooks
|
8 anni fa |
 Steven Silvester
|
90c356950a
Merge pull request #1143 from ian-r-rose/ObservableString
|
8 anni fa |
|
Steven Silvester
|
e29be2fd54
Make running icons green
|
8 anni fa |
|
Steven Silvester
|
378e7bda69
Merge pull request #1244 from vidartf/source-map
|
8 anni fa |
 Vidar Tonaas Fauske
|
dc1b968856
Include source maps in npm package
|
8 anni fa |
|
Afshin Darian
|
467edb4bf3
Merge pull request #1241 from blink1073/update-gitter
|
8 anni fa |
|
Steven Silvester
|
457dbebf03
Update gitter link
|
8 anni fa |
|
Afshin Darian
|
1961c84332
Merge pull request #1240 from blink1073/services-31
|
8 anni fa |
|
Steven Silvester
|
9d6bc37c86
Update to services 0.31
|
8 anni fa |
|
Steven Silvester
|
8530a98588
Merge pull request #1237 from afshin/css-fixes
|
8 anni fa |
|
Afshin Darian
|
2775d7e768
Require activate to be called explicitly.
|
8 anni fa |
 ian-r-rose
|
2444afc0ae
Add tests for ObservableString.
|
8 anni fa |
|
Afshin Darian
|
955c8d89c0
Remove unused styles.
|
8 anni fa |
|
Afshin Darian
|
52fcd86438
Update selectors.
|
8 anni fa |
|
ian-r-rose
|
56f61a03b6
Address more comments.
|
8 anni fa |
|
Steven Silvester
|
03f395f867
Merge pull request #1238 from ian-r-rose/update_typedoc_strings
|
8 anni fa |
|
ian-r-rose
|
dd7ba24be6
Address style comments.
|
8 anni fa |
|
Afshin Darian
|
8ca22577fc
Merge pull request #1232 from blink1073/fix-execution-count
|
8 anni fa |
|
Afshin Darian
|
2a392fe429
Fix text editor top margin.
|
8 anni fa |
|
Afshin Darian
|
ff434ef263
Simply selectors.
|
8 anni fa |
|
ian-r-rose
|
124a812c1d
This is called a vector now.
|
8 anni fa |
|
Afshin Darian
|
ecca217743
Uncover dock panel overlay.
|
8 anni fa |
|
Afshin Darian
|
34dd0e3e0a
Clean up tabs.
|
8 anni fa |
|
ian-r-rose
|
b8f4822559
Revert changes to document model/editor widget for now.
|
8 anni fa |
|
ian-r-rose
|
4e4afc25ce
Work on a more granular interface to ObservableString.
|
8 anni fa |
|
ian-r-rose
|
37df5467fb
Initial implementation of ObservableString.
|
8 anni fa |
|
Afshin Darian
|
2baa205ac0
Fix console panel top margin.
|
8 anni fa |
|
Afshin Darian
|
55a3c7c89c
Activate newly added widget.
|
8 anni fa |
|
Afshin Darian
|
f82b964082
Use custom jp-* modifier for main shell tabs.
|
8 anni fa |
|
Afshin Darian
|
f268c58532
Use a custom renderer for application shell dock panel.
|
8 anni fa |
