diff options
author | rathnor <rathnor> | 2003-08-25 13:15:53 (GMT) |
---|---|---|
committer | rathnor <rathnor> | 2003-08-25 13:15:53 (GMT) |
commit | 06a66cc30446945e9d2a440de2b9a9e9f6561ead (patch) | |
tree | 42042068d7b6f1a3a94cd9977ebdc76b103811b5 /src/FbWinFrame.cc | |
parent | b08d4232bb7e8ad2bfcb370ba61f7a4d001775d6 (diff) | |
download | fluxbox-06a66cc30446945e9d2a440de2b9a9e9f6561ead.zip fluxbox-06a66cc30446945e9d2a440de2b9a9e9f6561ead.tar.bz2 |
fix some style initialisation issues
Diffstat (limited to 'src/FbWinFrame.cc')
-rw-r--r-- | src/FbWinFrame.cc | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/FbWinFrame.cc b/src/FbWinFrame.cc index ac1db09..de87299 100644 --- a/src/FbWinFrame.cc +++ b/src/FbWinFrame.cc | |||
@@ -19,7 +19,7 @@ | |||
19 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER | 19 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
20 | // DEALINGS IN THE SOFTWARE. | 20 | // DEALINGS IN THE SOFTWARE. |
21 | 21 | ||
22 | // $Id: FbWinFrame.cc,v 1.41 2003/08/24 15:39:52 fluxgen Exp $ | 22 | // $Id: FbWinFrame.cc,v 1.42 2003/08/25 13:15:53 rathnor Exp $ |
23 | 23 | ||
24 | #include "FbWinFrame.hh" | 24 | #include "FbWinFrame.hh" |
25 | 25 | ||
@@ -1039,10 +1039,19 @@ void FbWinFrame::setBorderWidth(unsigned int borderW) { | |||
1039 | bw_changes += (signed) borderW - handle().borderWidth(); | 1039 | bw_changes += (signed) borderW - handle().borderWidth(); |
1040 | 1040 | ||
1041 | window().setBorderWidth(borderW); | 1041 | window().setBorderWidth(borderW); |
1042 | //window().setBorderColor(theme().borderColor()); | ||
1043 | |||
1042 | titlebar().setBorderWidth(borderW); | 1044 | titlebar().setBorderWidth(borderW); |
1045 | //titlebar().setBorderColor(theme().borderColor()); | ||
1046 | |||
1043 | handle().setBorderWidth(borderW); | 1047 | handle().setBorderWidth(borderW); |
1048 | //handle().setBorderColor(theme().borderColor()); | ||
1049 | |||
1044 | gripLeft().setBorderWidth(borderW); | 1050 | gripLeft().setBorderWidth(borderW); |
1051 | //gripLeft().setBorderColor(theme().borderColor()); | ||
1052 | |||
1045 | gripRight().setBorderWidth(borderW); | 1053 | gripRight().setBorderWidth(borderW); |
1054 | //gripRight().setBorderColor(theme().borderColor()); | ||
1046 | 1055 | ||
1047 | if (bw_changes != 0) | 1056 | if (bw_changes != 0) |
1048 | resize(width(), height() + bw_changes); | 1057 | resize(width(), height() + bw_changes); |