 Michał Krassowski
|
7998a73a53
Fix font-weight for collaborative cursor caret (#10598)
|
3 anni fa |
 Kevin Jahns
|
e57c03ef13
RTC: Anonymous user names based on the moons of Jupyter (#10411)
|
3 anni fa |
 Kevin Jahns
|
f0a86822f7
fix double-remote-caret (#10315)
|
4 anni fa |
|
Kevin Jahns
|
16cba948f0
Shared editing with collaborative notebook model. (#10118)
|
4 anni fa |
 Jeremy Tuloup
|
a4cd0b5e46
Revert "Move CodeMirror HTML tree and related CSS to shadow DOM."
|
4 anni fa |
 Steven Silvester
|
b310c50709
fix up handling of codemirror
|
4 anni fa |
 Raffaele De Feo
|
ab98eb9502
Move CodeMirror HTML tree and related CSS to shadow DOM.
|
5 anni fa |
|
AlbertHilb
|
ff5811e10c
Remove unused CSS rules.
|
4 anni fa |
 telamonian
|
db57f24413
fixes #6439
|
6 anni fa |
 Vidar Tonaas Fauske
|
34c3b38176
Refactor CSS styles
|
6 anni fa |
