From 18b34b49268ab9256e5408b1746da4a45eec5ca1 Mon Sep 17 00:00:00 2001 From: Brian Vaughn Date: Fri, 26 Apr 2019 13:53:22 -0700 Subject: [PATCH] Rearranged Settings UI in prep for custom filter controls --- src/devtools/views/Settings/Settings.css | 47 +++++++++++++----- src/devtools/views/Settings/Settings.js | 63 ++++++++++++------------ 2 files changed, 67 insertions(+), 43 deletions(-) diff --git a/src/devtools/views/Settings/Settings.css b/src/devtools/views/Settings/Settings.css index 581facc0e9..9e255d1233 100644 --- a/src/devtools/views/Settings/Settings.css +++ b/src/devtools/views/Settings/Settings.css @@ -13,48 +13,73 @@ } .Section { - display: flex; - flex-direction: row; - align-items: center; - margin-right: 0.5rem; - margin-bottom: 0.5rem; + width: 100%; + padding: 0.5rem 0; + border-top: 1px solid var(--color-border); +} +.Section:first-of-type { + padding-top: 0; + border-top: none; } .Header { - margin-right: 0.5rem; + margin-bottom: 0.5rem; font-size: var(--font-size-sans-large); } .OptionGroup { - display: flex; + display: inline-flex; flex-direction: row; + align-items: center; user-select: none; + margin: 0 1rem 0.5rem 0; +} +.OptionGroup:last-of-type { + margin-right: 0; } -.Option { +.OptionLabel { + margin-right: 0.5rem; + font-size: var(--font-size-sans-normal); +} + +.RadioOption { cursor: pointer; padding: 0.5rem; border: 1px solid var(--color-border); border-right: none; } -.Option:hover { +.RadioOption:hover { background-color: var(--color-background-hover); } -.Option:first-of-type { +.RadioOption:first-of-type { border-top-left-radius: 0.25rem; border-bottom-left-radius: 0.25rem; } -.Option:last-of-type { +.RadioOption:last-of-type { border-top-right-radius: 0.25rem; border-bottom-right-radius: 0.25rem; border-right: 1px solid var(--color-border); } +.CheckboxOption { + display: block; + padding: 0.5rem 0; +} + .ScreenshotThrottling { background-color: var(--color-background-hover); padding: 0.25rem 0.5rem; border-radius: 0.25rem; } + +.HRule { + height: 1px; + background-color: var(--color-border); + width: 100%; + border: none; + margin: 0.5rem 0; +} diff --git a/src/devtools/views/Settings/Settings.js b/src/devtools/views/Settings/Settings.js index 1c1ed43bcf..b578fe5b38 100644 --- a/src/devtools/views/Settings/Settings.js +++ b/src/devtools/views/Settings/Settings.js @@ -73,9 +73,10 @@ function Settings(_: {||}) { return (
-
Theme
+
Display preferences
-
-
-
-
Components tree
- -
-
-
Display density
-
+ +
+
Components tree
+ +
+ {store.supportsCaptureScreenshots && ( -
-
-
Profiler
- -
+
+
Profiler
+ {captureScreenshots && (
Screenshots will be throttled in order to reduce the negative