aboutsummaryrefslogtreecommitdiff
path: root/src/Screen.cc
diff options
context:
space:
mode:
authorMark Tiefenbruck <mark@fluxbox.org>2007-12-23 21:33:10 (GMT)
committerMark Tiefenbruck <mark@fluxbox.org>2007-12-23 21:33:10 (GMT)
commitfbc305ca80e352240b32b833e8388fb9aa99fa72 (patch)
treeea1c7d2f66b8ede4209f7299a228f36f98086393 /src/Screen.cc
parent1b48b749b9a376c883ff4cc2ca3e807ac85cf21f (diff)
downloadfluxbox-fbc305ca80e352240b32b833e8388fb9aa99fa72.zip
fluxbox-fbc305ca80e352240b32b833e8388fb9aa99fa72.tar.bz2
added focused/unfocused borders to styles
Diffstat (limited to 'src/Screen.cc')
-rw-r--r--src/Screen.cc8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Screen.cc b/src/Screen.cc
index eab425b..4f42539 100644
--- a/src/Screen.cc
+++ b/src/Screen.cc
@@ -1943,8 +1943,8 @@ void BScreen::renderGeomWindow() {
1943 int geom_w = winFrameTheme().font().textWidth(label, strlen(label)) + winFrameTheme().bevelWidth()*2; 1943 int geom_w = winFrameTheme().font().textWidth(label, strlen(label)) + winFrameTheme().bevelWidth()*2;
1944 m_geom_window.resize(geom_w, geom_h); 1944 m_geom_window.resize(geom_w, geom_h);
1945 1945
1946 m_geom_window.setBorderWidth(winFrameTheme().border().width()); 1946 m_geom_window.setBorderWidth(winFrameTheme().border(true).width());
1947 m_geom_window.setBorderColor(winFrameTheme().border().color()); 1947 m_geom_window.setBorderColor(winFrameTheme().border(true).color());
1948 1948
1949 1949
1950 Pixmap tmp = geom_pixmap; 1950 Pixmap tmp = geom_pixmap;
@@ -1981,8 +1981,8 @@ void BScreen::renderPosWindow() {
1981 int pos_w = winFrameTheme().font().textWidth("0:00000 x 0:00000", 17) + winFrameTheme().bevelWidth()*2; 1981 int pos_w = winFrameTheme().font().textWidth("0:00000 x 0:00000", 17) + winFrameTheme().bevelWidth()*2;
1982 m_pos_window.resize(pos_w, pos_h); 1982 m_pos_window.resize(pos_w, pos_h);
1983 1983
1984 m_pos_window.setBorderWidth(winFrameTheme().border().width()); 1984 m_pos_window.setBorderWidth(winFrameTheme().border(true).width());
1985 m_pos_window.setBorderColor(winFrameTheme().border().color()); 1985 m_pos_window.setBorderColor(winFrameTheme().border(true).color());
1986 1986
1987 1987
1988 Pixmap tmp = pos_pixmap; 1988 Pixmap tmp = pos_pixmap;