Commit History

Author SHA1 Message Date
  Ian Rose 50b7d7ec06 Make min-height and min-width more uniformly applied for main area 7 years ago
  Steven Silvester 9f5f0ac2a4 Merge pull request #2784 from afshin/settings-ui 7 years ago
  Afshin Darian b7c188ca1b Tweak button styles. 7 years ago
  Afshin Darian 563bf2edcf Update styles after rebase. 7 years ago
  Afshin Darian bf86c185df Update styles. 7 years ago
  Afshin Darian 8093e994d3 Remove table editor add button. 7 years ago
  Afshin Darian 9bdfec54aa Update commented JSON output. 7 years ago
  Afshin Darian c1b71e5df8 Update switcher button styles. 7 years ago
  Afshin Darian 77d8403553 Add switcher placeholder. 7 years ago
  Afshin Darian 2e70387620 Use StackedLayout, simplify CSS. 7 years ago
  Afshin Darian d05ad114c5 Make sure plugin list overflows properly. 7 years ago
  Afshin Darian 74b573bdae Add methods to comment out defaults and their descriptions. 7 years ago
  cameronoelsen 7fe53e4943 Fixed theme icon in settings editor when it was selected 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
  Afshin Darian 2c05f261d9 Bug fix: fix scrolling of table editor. 7 years ago
  Afshin Darian add197d571 Update TableEditor styles. 7 years ago
  Afshin Darian bcdf2f2f16 Fix setting editor overflow bug. 7 years ago
  Afshin Darian 5e1b8ee85b Only show hover for active add buttons. 7 years ago
  Afshin Darian 3df0087af8 Simplify styles and bug fix in reify default function. 7 years ago
  Afshin Darian 764146e029 Update styles and change #default() signature. 7 years ago
  Afshin Darian ad05c85059 Update styles. 7 years ago
  Afshin Darian 229b029cba work in progress 7 years ago
  Afshin Darian 338d038eb0 Fix some styles. 7 years ago
  Afshin Darian abb2ca3635 Switch back to `table` tag. 7 years ago
  Afshin Darian 753ad68d8c Update setting UI styles. 7 years ago
  Afshin Darian 9769c969e2 work in progress 7 years ago
  cameronoelsen 5836ebc28d Refined styling of dark theme to be consistent with the light theme. Styled the notebook to look consistent with the dark theme and changed text colors to increase legibility. Bug fixes and replaced some hard-coded values with the --jp variables. 7 years ago
  Afshin Darian 74cbb4ae8d Add toolbar styling to setting editor. 7 years ago
  Afshin Darian 3f890e65a3 Switch to panel layout. 7 years ago
  Afshin Darian 6b87cf86f7 Update fieldset. 7 years ago