 Dave Willmer
|
c01f7f6d11
Merge pull request #134 from blink1073/use-ui-codemirror
|
9 years ago |
 Steven Silvester
|
c0183bc239
Use codemirror handling from jupyter-js-ui
|
9 years ago |
 Min RK
|
430e4f4a11
Merge pull request #133 from blink1073/update-readme
|
9 years ago |
|
Steven Silvester
|
c9a52af2c3
Update description
|
9 years ago |
|
Steven Silvester
|
a039d8d8c9
0.15.3
|
9 years ago |
 A. Darian
|
39e226cfa9
Merge pull request #132 from blink1073/add-metadata
|
9 years ago |
|
Steven Silvester
|
c327a958a1
Revert example
|
9 years ago |
|
Steven Silvester
|
44c8ebfdb2
Handle default metadata
|
9 years ago |
|
Steven Silvester
|
5e2a0978d8
0.15.2
|
9 years ago |
|
Dave Willmer
|
9864ab2580
Merge pull request #131 from blink1073/kernel-shutdown
|
9 years ago |
|
Steven Silvester
|
f28b6fc1a0
Better handling of kernel status
|
9 years ago |
|
Steven Silvester
|
558e714ff1
Merge pull request #130 from dwillmer/more-cleanup
|
9 years ago |
|
Dave Willmer
|
199c82ad3a
Remerge
|
9 years ago |
|
Steven Silvester
|
2d3fbb9cb2
0.15.1
|
9 years ago |
|
Steven Silvester
|
1695d92459
Merge pull request #128 from blink1073/theming
|
9 years ago |
|
Dave Willmer
|
b8589cd92e
cleanup
|
9 years ago |
|
Steven Silvester
|
bfa48e264e
Update ui dep
|
9 years ago |
|
Steven Silvester
|
e8ec6a22aa
0.15.0
|
9 years ago |
|
Dave Willmer
|
f4dd793715
Merge pull request #127 from blink1073/fix-markdown
|
9 years ago |
|
Dave Willmer
|
fca849ce6f
Merge pull request #125 from blink1073/notebook-panel
|
9 years ago |
|
Steven Silvester
|
35475206e9
Fix edit mode handling for markdown cells
|
9 years ago |
|
Steven Silvester
|
a57929b0c6
Fix markdown rendering
|
9 years ago |
|
Steven Silvester
|
c77b673253
Convert the panel back to a regular widget
|
9 years ago |
|
Steven Silvester
|
a43b01d043
Clean up notebook pane and make it a panel
|
9 years ago |
|
Steven Silvester
|
37179ef8a4
0.14.0
|
9 years ago |
|
Steven Silvester
|
6b5863c0d5
0.13.5
|
9 years ago |
|
Steven Silvester
|
39e1088084
Merge pull request #124 from dwillmer/whitespace
|
9 years ago |
|
Dave Willmer
|
ba2e2246e9
Cleanup
|
9 years ago |
|
Dave Willmer
|
ef05f3d70e
Cleanup
|
9 years ago |
|
Dave Willmer
|
8b35bd748a
Cleanup
|
9 years ago |
