From 5c2700ca361de78eb364f77237e39752c4b0387e Mon Sep 17 00:00:00 2001 From: Nils Maier Date: Thu, 5 Sep 2019 09:03:50 +0200 Subject: [PATCH] Tooltip improvements --- style/manager.css | 2 ++ windows/manager/table.ts | 13 +++++++++---- 2 files changed, 11 insertions(+), 4 deletions(-) diff --git a/style/manager.css b/style/manager.css index f16fdbd..56f7b4d 100644 --- a/style/manager.css +++ b/style/manager.css @@ -439,6 +439,8 @@ body > * { justify-items: stretch; border-radius: 4px; box-shadow: 2px 2px 6px black; + -webkit-user-select: none; + user-select: none; } #tooltip-infos { diff --git a/windows/manager/table.ts b/windows/manager/table.ts index b460348..ccd2650 100644 --- a/windows/manager/table.ts +++ b/windows/manager/table.ts @@ -609,8 +609,12 @@ export class DownloadTable extends VirtualTable { this.selection.clear(); this.tooltip = null; - this.on("hover", async info => { - if (!(await Prefs.get("tooltip"))) { + const tooltipWatcher = new PrefWatcher("tooltip", true); + this.on("hover", info => { + if (!document.hasFocus()) { + return; + } + if (!tooltipWatcher.value) { return; } const item = this.downloads.filtered[info.rowid]; @@ -804,6 +808,7 @@ export class DownloadTable extends VirtualTable { } async openFile() { + this.dismissTooltip(); const {focusRow} = this; if (focusRow < 0) { return; @@ -823,8 +828,8 @@ export class DownloadTable extends VirtualTable { } finally { setTimeout(() => { - item.opening = false; - this.invalidateRow(focusRow); + item.opening = false; + this.invalidateRow(focusRow); }, 500); } }