 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.
|
7 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 |
|
cameronoelsen
|
6c035e6157
Started to modify border colors and adjust styling to lighten interface
|
7 years ago |
|
Steven Silvester
|
46adafb63e
Remove dialog css
|
7 years ago |
|
Steven Silvester
|
d071a3b214
Enforce font size in codemirror dialogs
|
7 years ago |
|
Steven Silvester
|
105365aec6
Add support for find and replace in the editor
|
7 years ago |
|
Ian Rose
|
d2c3baf04e
Load CSS to make vim mode work correctly.
|
7 years ago |
