 Grant Nestor
|
74eac68b72
Make codebase prettier
|
vor 6 Jahren |
 Afshin Darian
|
4c4b9d6022
Set panel stretch defaults for setting editor. Update minimum list width.
|
vor 6 Jahren |
 Jason Grout
|
f91cb8d58b
Merge branch 'master' into main-area-widget
|
vor 7 Jahren |
 Ian Rose
|
8dd975926b
Fix text color in Setting Editor introduction for themes.
|
vor 7 Jahren |
 Steven Silvester
|
8782ee7877
wip update main area widget
|
vor 7 Jahren |
 Brian E. Granger
|
9438885fdc
Fix font size application by adding jp-ui-font-size1 to main containers.
|
vor 7 Jahren |
|
Afshin Darian
|
d8fe2c3360
Settings with comments (#3167)
|
vor 7 Jahren |
