From 8bc650ae19008b646c28546e73b7796dc4d1024a Mon Sep 17 00:00:00 2001 From: Giovanni Campagna Date: Mon, 6 Feb 2012 20:49:17 +0100 Subject: [PATCH] windowsNavigator: improve the appearance of tooltips Based on a patch by Simon Friis Vindum --- extensions/windowsNavigator/extension.js | 2 +- extensions/windowsNavigator/stylesheet.css | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js index 58c1312d..20185cb7 100644 --- a/extensions/windowsNavigator/extension.js +++ b/extensions/windowsNavigator/extension.js @@ -224,7 +224,7 @@ function enable() { winInjections['updatePositions'] = injectToFunction(Workspace.WindowOverlay.prototype, 'updatePositions', function(cloneX, cloneY, cloneWidth, cloneHeight) { let textX = cloneX - 2; let textY = cloneY - 2; - this._text.set_position(Math.floor(textX), Math.floor(textY)); + this._text.set_position(Math.floor(textX) + 5, Math.floor(textY) + 5); this._text.raise_top(); }); diff --git a/extensions/windowsNavigator/stylesheet.css b/extensions/windowsNavigator/stylesheet.css index 841a106e..d5e404e8 100644 --- a/extensions/windowsNavigator/stylesheet.css +++ b/extensions/windowsNavigator/stylesheet.css @@ -1,5 +1,5 @@ .extension-windowsNavigator-window-tooltip { - color: #ff0000; + color: #fefefe; background: rgba(0,0,0,0.8); border: 1px solid rgba(128,128,128,0.40); border-radius: 10px;