 Ian Rose
|
b6c72e27cb
Merge pull request #5776 from afshin/inspector-simplification
|
6 years ago |
 Afshin Darian
|
c7ec54feb2
Hide the toolbar button labels in the setting editor.
|
6 years ago |
|
Afshin Darian
|
c25baef70c
Update setting editor's use of inspector.
|
6 years ago |
 Grant Nestor
|
74eac68b72
Make codebase prettier
|
6 years ago |
|
Afshin Darian
|
4c4b9d6022
Set panel stretch defaults for setting editor. Update minimum list width.
|
6 years ago |
 Jason Grout
|
f91cb8d58b
Merge branch 'master' into main-area-widget
|
7 years ago |
|
Ian Rose
|
8dd975926b
Fix text color in Setting Editor introduction for themes.
|
7 years ago |
 Steven Silvester
|
8782ee7877
wip update main area widget
|
7 years ago |
 Brian E. Granger
|
9438885fdc
Fix font size application by adding jp-ui-font-size1 to main containers.
|
7 years ago |
|
Afshin Darian
|
d8fe2c3360
Settings with comments (#3167)
|
7 years ago |
