windowsNavigator: improve the appearance of tooltips

Based on a patch by Simon Friis Vindum <simonfv@mail.com>
This commit is contained in:
Giovanni Campagna
2012-02-06 20:49:17 +01:00
parent 46fe71d1b8
commit 8bc650ae19
2 changed files with 2 additions and 2 deletions

View File

@@ -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();
});

View File

@@ -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;