 Steven Silvester
|
ec720ffa10
Update yarn.lock
|
5 years ago |
 Jason Grout
|
8014d44ac5
Fix css includes
|
5 years ago |
 Steven Silvester
|
adb3a3a13c
Update templated style files
|
5 years ago |
 Vidar Tonaas Fauske
|
34c3b38176
Refactor CSS styles
|
6 years ago |
 smarttom
|
0c0e78a5cc
Set the CodeMirror-activeline-background and CodeMirror-gutter background-color to jp-layout-color
|
6 years ago |
 Jason Grout
|
fa961f3ca2
Merge pull request #6153 from AlbertHilb/gutterBG
|
6 years ago |
 Raffaele De Feo
|
c33ac7e8dc
Make CodeMirror editor gutter background the same color of the
|
6 years ago |
 Andrew Schlaepfer
|
2afb78319f
update search colors by theme, change style for unselected match
|
6 years ago |
|
Andrew Schlaepfer
|
3354b8adf1
turn on styleSelectedText by default, add style for selected search text
|
6 years ago |
 telamonian
|
31bf832f16
fixed line margins and a cursor width bug
|
6 years ago |
|
telamonian
|
14ed9ec509
added more css vars to themes to support larger fonts
|
6 years ago |
 Frederic Collonval
|
08bceb006c
Add folding addons
|
6 years ago |
|
Frederic Collonval
|
f1ea54fd6f
Add rulers to extension settings and to codeeditor interface
|
6 years ago |
 Grant Nestor
|
74eac68b72
Make codebase prettier
|
6 years ago |
 Ian Rose
|
66811fd51e
Fix Jupyter codemirror theme cursor color.
|
6 years ago |
 Ashwin Vishnu
|
e174ebe8d7
Solarized themes for text editor
|
7 years ago |
|
Ian Rose
|
466969c311
Codemirror theming tweaks (#3962)
|
7 years ago |
 meads
|
1941f85ba8
Fix invalid css comment. (#3815)
|
7 years ago |
|
Steven Silvester
|
4979925923
Fix handling of codemirror focus and dialog in notebook
|
7 years ago |
|
Steven Silvester
|
2438327232
Ensure codemirror cursor size
|
7 years ago |
|
Steven Silvester
|
a0f54a9df2
Reinstate search for documents
|
7 years ago |
 Brian E. Granger
|
c6719d42ce
Minor fixes to console styling.
|
7 years ago |
|
Brian E. Granger
|
e3c80c44c0
Fix styles of cells.
|
7 years ago |
|
Brian E. Granger
|
6222342e0c
Fix content/code font color variables.
|
7 years ago |
|
Brian E. Granger
|
b21b40f748
Refactor editor/code theme variables.
|
7 years ago |
|
Steven Silvester
|
356cb8737c
whitespace
|
7 years ago |
|
Steven Silvester
|
3756b9d9bd
Allow other themes to set background and color
|
7 years ago |
 cameronoelsen
|
5bfde94913
Removed custom styling of scrollbar from codemirror
|
7 years ago |
 Afshin Darian
|
3b4c1a3df5
Merge pull request #2781 from blink1073/editor-search
|
7 years ago |
|
cameronoelsen
|
13adb0be2b
Refined styling of the borders to be less stark across the application. Styled some of the settings plugin for active on hover. Fixed problem with CodeMirror where there was a set white background (would carry over to the dark theme)
|
7 years ago |
