From 9ee0964d0e223689bb462844b5a244bbab20f8b8 Mon Sep 17 00:00:00 2001 From: Matt C Date: Sat, 29 Jul 2017 00:45:41 +0100 Subject: [PATCH] Fixed hover issue - now allows scrolling --- src/web/HTMLOperation.js | 4 ++-- src/web/OperationsWaiter.js | 17 ++++++++++++++++- 2 files changed, 18 insertions(+), 3 deletions(-) diff --git a/src/web/HTMLOperation.js b/src/web/HTMLOperation.js index 499faab5..aae9f282 100755 --- a/src/web/HTMLOperation.js +++ b/src/web/HTMLOperation.js @@ -50,8 +50,8 @@ HTMLOperation.prototype.toStubHtml = function(removeIcon) { let html = "