diff options
author | fluxgen <fluxgen> | 2003-09-12 23:34:13 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2003-09-12 23:34:13 (GMT) |
commit | 0246b8d413c39569baadd9e374d7840094b43e6c (patch) | |
tree | 1a920f17c63004e7484242eef192047c5ac08ecf /src | |
parent | 7e320b7d315a5ae1acf75c0d685731aaa6c2b296 (diff) | |
download | fluxbox-0246b8d413c39569baadd9e374d7840094b43e6c.zip fluxbox-0246b8d413c39569baadd9e374d7840094b43e6c.tar.bz2 |
cleaning in frame theme
Diffstat (limited to 'src')
-rw-r--r-- | src/Window.cc | 12 |
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 | ||
3135 | void FluxboxWindow::upsize() { | 3135 | void 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 | ||