From 42b992dd93729c8dc687f45439e1819f1cb58d43 Mon Sep 17 00:00:00 2001 From: Felix Domke Date: Tue, 15 Nov 2005 04:24:27 +0000 Subject: [PATCH] fix window title a bit --- data/skin.xml | 6 +++++- skin.py | 4 ++-- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/data/skin.xml b/data/skin.xml index d85d1735..991a137e 100644 --- a/data/skin.xml +++ b/data/skin.xml @@ -19,6 +19,9 @@ + + + @@ -152,7 +155,8 @@ - + diff --git a/skin.py b/skin.py index f31d637b..b8ec2124 100644 --- a/skin.py +++ b/skin.py @@ -154,8 +154,8 @@ def loadSkin(desktop): for windowstyle in elementsWithTag(skin.childNodes, "windowstyle"): style = eWindowStyleSkinned() - style.setTitleFont(gFont("Arial", 13)); - style.setTitleOffset(eSize(3, 3)); + style.setTitleFont(gFont("Arial", 20)); + style.setTitleOffset(eSize(20, 5)); for borderset in elementsWithTag(windowstyle.childNodes, "borderset"): bsName = str(borderset.getAttribute("name")) -- 2.30.2