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 {