summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorfluxgen <fluxgen>2003-09-12 23:34:13 (GMT)
committerfluxgen <fluxgen>2003-09-12 23:34:13 (GMT)
commit0246b8d413c39569baadd9e374d7840094b43e6c (patch)
tree1a920f17c63004e7484242eef192047c5ac08ecf /src
parent7e320b7d315a5ae1acf75c0d685731aaa6c2b296 (diff)
downloadfluxbox_lack-0246b8d413c39569baadd9e374d7840094b43e6c.zip
fluxbox_lack-0246b8d413c39569baadd9e374d7840094b43e6c.tar.bz2
cleaning in frame theme
Diffstat (limited to 'src')
-rw-r--r--src/Window.cc12
1 files changed, 3 insertions, 9 deletions
diff --git a/src/Window.cc b/src/Window.cc
index 1781dbf..00f2e42 100644
--- a/src/Window.cc
+++ b/src/Window.cc
@@ -22,7 +22,7 @@
22// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER 22// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
23// DEALINGS IN THE SOFTWARE. 23// DEALINGS IN THE SOFTWARE.
24 24
25// $Id: Window.cc,v 1.226 2003/09/12 22:48:49 fluxgen Exp $ 25// $Id: Window.cc,v 1.227 2003/09/12 23:34:13 fluxgen Exp $
26 26
27#include "Window.hh" 27#include "Window.hh"
28 28
@@ -2600,7 +2600,7 @@ void FluxboxWindow::applyDecorations(bool initial) {
2600 frame().clientArea().setBorderWidth(0); // client area bordered by other things 2600 frame().clientArea().setBorderWidth(0); // client area bordered by other things
2601 2601
2602 unsigned int border_width = 0; 2602 unsigned int border_width = 0;
2603 if (decorations.border) 2603 if (decorations.border)
2604 border_width = frame().theme().border().width(); 2604 border_width = frame().theme().border().width();
2605 2605
2606 if (initial || frame().window().borderWidth() != border_width) 2606 if (initial || frame().window().borderWidth() != border_width)
@@ -3133,13 +3133,7 @@ void FluxboxWindow::changeBlackboxHints(const BlackboxHints &net) {
3133} 3133}
3134 3134
3135void FluxboxWindow::upsize() { 3135void FluxboxWindow::upsize() {
3136 frame().setBevel(screen().rootTheme().bevelWidth()); 3136
3137 frame().handle().resize(frame().handle().width(),
3138 screen().rootTheme().handleWidth());
3139 frame().gripLeft().resize(frame().buttonHeight(),
3140 screen().rootTheme().handleWidth());
3141 frame().gripRight().resize(frame().gripLeft().width(),
3142 frame().gripLeft().height());
3143} 3137}
3144 3138
3145 3139