profiler improvements (#3151)

* profiler improvements * fix for issue 3114
2026-02-17 02:51:36 -05:00 · 2018-11-07 11:25:24 -08:00
parent e2bd6c06ec
commit d9ba4d9130
22 changed files with 129 additions and 116 deletions
--- a/src/sql/media/icons/check.svg
+++ b/src/sql/media/icons/check.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" viewBox="-2 -2 16 16" enable-background="new -2 -2 16 16"><polygon fill="#424242" points="9,0 4.5,9 3,6 0,6 3,12 6,12 12,0"/></svg>
				`@@ -0,0 +1 @@`
				`<svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" viewBox="-2 -2 16 16" enable-background="new -2 -2 16 16"><polygon fill="#424242" points="9,0 4.5,9 3,6 0,6 3,12 6,12 12,0"/></svg>`