From 035895b043b5a24e6f12356ae1f774454811fdfa Mon Sep 17 00:00:00 2001 From: "Julien Carion (juca)" Date: Wed, 4 Oct 2023 14:44:19 +0200 Subject: [PATCH] [IMP] devtools: icons and UI improvements This commit adapts the layout of icons in the UI to be more intuitive and also adds some feedback on hover on some elements for clarity. Also fixes a bug where an object line could be toggled on select. --- .../component_search_bar.xml | 4 +- .../object_tree_element.xml | 4 +- .../devtools_window/devtools_window.xml | 6 +-- .../profiler_tab/profiler_tab.xml | 18 ++++----- .../devtools/src/devtools_app/store/store.js | 2 +- tools/devtools/src/main.css | 39 ++++++++++++++++++- 6 files changed, 55 insertions(+), 18 deletions(-) diff --git a/tools/devtools/src/devtools_app/devtools_window/components_tab/component_search_bar/component_search_bar.xml b/tools/devtools/src/devtools_app/devtools_window/components_tab/component_search_bar/component_search_bar.xml index 1b84eb9b..4375da24 100644 --- a/tools/devtools/src/devtools_app/devtools_window/components_tab/component_search_bar/component_search_bar.xml +++ b/tools/devtools/src/devtools_app/devtools_window/components_tab/component_search_bar/component_search_bar.xml @@ -1,8 +1,8 @@ -
- +
+
diff --git a/tools/devtools/src/devtools_app/devtools_window/components_tab/details_window/object_tree_element/object_tree_element.xml b/tools/devtools/src/devtools_app/devtools_window/components_tab/details_window/object_tree_element/object_tree_element.xml index 4e2121be..6e1a2d40 100644 --- a/tools/devtools/src/devtools_app/devtools_window/components_tab/details_window/object_tree_element/object_tree_element.xml +++ b/tools/devtools/src/devtools_app/devtools_window/components_tab/details_window/object_tree_element/object_tree_element.xml @@ -2,8 +2,8 @@
diff --git a/tools/devtools/src/devtools_app/devtools_window/devtools_window.xml b/tools/devtools/src/devtools_app/devtools_window/devtools_window.xml index d017e1db..b75896d2 100644 --- a/tools/devtools/src/devtools_app/devtools_window/devtools_window.xml +++ b/tools/devtools/src/devtools_app/devtools_window/devtools_window.xml @@ -16,9 +16,9 @@ - - - + + +
diff --git a/tools/devtools/src/devtools_app/devtools_window/profiler_tab/profiler_tab.xml b/tools/devtools/src/devtools_app/devtools_window/profiler_tab/profiler_tab.xml index 53422cd5..80f41c90 100644 --- a/tools/devtools/src/devtools_app/devtools_window/profiler_tab/profiler_tab.xml +++ b/tools/devtools/src/devtools_app/devtools_window/profiler_tab/profiler_tab.xml @@ -3,20 +3,20 @@
- - -
- - +
-
diff --git a/tools/devtools/src/devtools_app/store/store.js b/tools/devtools/src/devtools_app/store/store.js index b45e4acc..cd56f113 100644 --- a/tools/devtools/src/devtools_app/store/store.js +++ b/tools/devtools/src/devtools_app/store/store.js @@ -350,7 +350,7 @@ export const store = reactive({ // Expand the children of the input object property and load it from page if necessary async toggleObjectTreeElementsDisplay(obj) { - if (!obj.hasChildren) { + if (!obj.hasChildren || window.getSelection().toString().length) { return; } // Since it is sometimes impossible (and always ineffective) to load all descendants of a property diff --git a/tools/devtools/src/main.css b/tools/devtools/src/main.css index 5b8e6a5f..fcf5ab09 100644 --- a/tools/devtools/src/main.css +++ b/tools/devtools/src/main.css @@ -26,6 +26,8 @@ --text-selected: white; --menu-highlight-bg: rgb(201, 201, 201); --version-bg: teal; + --hover-bg: #ebebeb; + --navbar-hover-bg: #d3d3d3; /* to change the color here, put it in stroke='%23[color in hexadecimal]' */ --select-icon: url("data:image/svg+xml,%3csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3e%3cpath fill='none' stroke='%23444444' stroke-linecap='round' stroke-linejoin='round' stroke-width='2' d='M2 5l6 6 6-6'/%3e%3c/svg%3e"); } @@ -52,6 +54,8 @@ --text-selected: #c9c9c9; --menu-highlight-bg: rgb(65, 65, 65); --version-bg: #805900ad; + --hover-bg: #575757; + --navbar-hover-bg: #6b6b6b; color-scheme: dark; /* to change the color here, put it in stroke='%23[color in hexadecimal]' */ --select-icon: url("data:image/svg+xml,%3csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3e%3cpath fill='none' stroke='%23c9c9c9' stroke-linecap='round' stroke-linejoin='round' stroke-width='2' d='M2 5l6 6 6-6'/%3e%3c/svg%3e"); @@ -82,6 +86,10 @@ color: var(--text-color) !important; } +.form-check-label { + user-select: none; +} + .navbar-btn { height: 23px; padding: 0.5rem; @@ -244,7 +252,7 @@ .search-input { background-color: var(--background-color); color: var(--text-color); - padding: 0.4rem 0rem; + padding: 0.37rem 0rem; } .search-icon { @@ -255,6 +263,35 @@ .utility-icon { cursor: pointer; font-size: 1.2em; + border-radius: 35%; +} + +.mouse-icon { + border-radius: 35%; + cursor: pointer; + padding-left: 0.4rem !important; +} + +.profiler-icon { + border-radius: 35%; + cursor: pointer; +} + +.utility-icon:hover, .mouse-icon:hover, .profiler-icon:hover, .bg-feedback:hover { + background-color: var(--hover-bg); +} + +.navbar-icon { + border-radius: 35%; + cursor: pointer; +} + +.navbar-icon:hover { + background-color: var(--navbar-hover-bg); +} + +.bg-feedback { + border-radius: 5%; } .lg-icon {