From e6a0379e54d51f9d10fc9a994016f9ef76009cdb Mon Sep 17 00:00:00 2001 From: xofe <22776566+xofe@users.noreply.github.com> Date: Fri, 24 Nov 2017 08:09:56 +0000 Subject: [PATCH 1/8] add bottom border to logger toolbar (prevents toolbar blending in to log entries while scrolling) --- src/css/logger-ui.css | 5 +---- src/js/logger-ui.js | 2 +- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/src/css/logger-ui.css b/src/css/logger-ui.css index b4118071..4ff7fefa 100644 --- a/src/css/logger-ui.css +++ b/src/css/logger-ui.css @@ -12,6 +12,7 @@ body { #toolbar { background-color: white; border: 0; + border-bottom: 1px solid #ccc; box-sizing: border-box; -moz-box-sizing: border-box; left: 0; @@ -125,7 +126,6 @@ body.f table tr.f { body #content td { border: 1px solid #ccc; - border-top: none; min-width: 0.5em; padding: 3px; vertical-align: top; @@ -133,9 +133,6 @@ body #content td { word-break: break-all; word-wrap: break-word; } -#content table tr td { - border-top: 1px solid #ccc; - } #content table tr td:first-of-type { border-left: none; } diff --git a/src/js/logger-ui.js b/src/js/logger-ui.js index 97773ca1..cc126f0e 100644 --- a/src/js/logger-ui.js +++ b/src/js/logger-ui.js @@ -68,7 +68,7 @@ var dateOptions = { document.getElementById('content').style.setProperty( 'margin-top', - document.getElementById('toolbar').offsetHeight + 'px' + document.getElementById('toolbar').clientHeight + 'px' ); /******************************************************************************/ From d4c0c1747b999c6d7254ecb67b5e03f6bb97da81 Mon Sep 17 00:00:00 2001 From: xofe <22776566+xofe@users.noreply.github.com> Date: Fri, 24 Nov 2017 08:14:15 +0000 Subject: [PATCH 2/8] fade-in tooltips, like uBO --- src/css/common.css | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/css/common.css b/src/css/common.css index e3d31392..6950fa97 100644 --- a/src/css/common.css +++ b/src/css/common.css @@ -55,6 +55,10 @@ body[dir="rtl"] { position: relative; cursor: pointer; } +*[data-i18n-tip]:after { + content: ""; + opacity: 0; + } *[data-i18n-tip]:hover:after { background-color: #fffffa; border: 1px solid gray; @@ -65,10 +69,14 @@ body[dir="rtl"] { font: 12px sans-serif; line-height: 140%; min-width: 25vw; + opacity: 1; padding: 4px 6px; + pointer-events: none; position: absolute; text-align: start; top: 110%; + -webkit-transition: opacity 0.15s 0.5s; + transition: opacity 0.15s 0.5s; white-space: pre-line; z-index: 20; } From 9adc29318ebec59d2e9d6373b862c6346400d88d Mon Sep 17 00:00:00 2001 From: xofe <22776566+xofe@users.noreply.github.com> Date: Fri, 24 Nov 2017 08:18:30 +0000 Subject: [PATCH 3/8] add missing tooltip for dashboard link (fix #837) --- src/popup.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/popup.html b/src/popup.html index fa695342..8abac86a 100644 --- a/src/popup.html +++ b/src/popup.html @@ -19,7 +19,7 @@
- uMatrix + uMatrix