diff options
author | fluxgen <fluxgen> | 2003-08-25 16:17:18 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2003-08-25 16:17:18 (GMT) |
commit | 2fadb492ed07ebf7e57de49ba83fef567d6a5df2 (patch) | |
tree | 290638b22f641bd426454c482e79d7a5013b90aa | |
parent | 49f5eef946f588f647b3be93f799d958a4de4bd4 (diff) | |
download | fluxbox_paul-2fadb492ed07ebf7e57de49ba83fef567d6a5df2.zip fluxbox_paul-2fadb492ed07ebf7e57de49ba83fef567d6a5df2.tar.bz2 |
moved border color and width to frame theme
-rw-r--r-- | src/FbWinFrame.cc | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/src/FbWinFrame.cc b/src/FbWinFrame.cc index de87299..37d0c0b 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.42 2003/08/25 13:15:53 rathnor Exp $ | 22 | // $Id: FbWinFrame.cc,v 1.43 2003/08/25 16:17:18 fluxgen Exp $ |
23 | 23 | ||
24 | #include "FbWinFrame.hh" | 24 | #include "FbWinFrame.hh" |
25 | 25 | ||
@@ -1029,29 +1029,29 @@ void FbWinFrame::renderLabelButtons() { | |||
1029 | 1029 | ||
1030 | } | 1030 | } |
1031 | 1031 | ||
1032 | void FbWinFrame::setBorderWidth(unsigned int borderW) { | 1032 | void FbWinFrame::setBorderWidth(unsigned int border_width) { |
1033 | int bw_changes = 0; | 1033 | int bw_changes = 0; |
1034 | // we need to change the size of the window | 1034 | // we need to change the size of the window |
1035 | // if the border width changes... | 1035 | // if the border width changes... |
1036 | if (m_use_titlebar) | 1036 | if (m_use_titlebar) |
1037 | bw_changes += (signed) borderW - titlebar().borderWidth(); | 1037 | bw_changes += static_cast<signed>(border_width - titlebar().borderWidth()); |
1038 | if (m_use_handle) | 1038 | if (m_use_handle) |
1039 | bw_changes += (signed) borderW - handle().borderWidth(); | 1039 | bw_changes += static_cast<signed>(border_width - handle().borderWidth()); |
1040 | 1040 | ||
1041 | window().setBorderWidth(borderW); | 1041 | window().setBorderWidth(border_width); |
1042 | //window().setBorderColor(theme().borderColor()); | 1042 | window().setBorderColor(theme().border().color()); |
1043 | 1043 | ||
1044 | titlebar().setBorderWidth(borderW); | 1044 | titlebar().setBorderWidth(border_width); |
1045 | //titlebar().setBorderColor(theme().borderColor()); | 1045 | titlebar().setBorderColor(theme().border().color()); |
1046 | 1046 | ||
1047 | handle().setBorderWidth(borderW); | 1047 | handle().setBorderWidth(border_width); |
1048 | //handle().setBorderColor(theme().borderColor()); | 1048 | handle().setBorderColor(theme().border().color()); |
1049 | 1049 | ||
1050 | gripLeft().setBorderWidth(borderW); | 1050 | gripLeft().setBorderWidth(border_width); |
1051 | //gripLeft().setBorderColor(theme().borderColor()); | 1051 | gripLeft().setBorderColor(theme().border().color()); |
1052 | 1052 | ||
1053 | gripRight().setBorderWidth(borderW); | 1053 | gripRight().setBorderWidth(border_width); |
1054 | //gripRight().setBorderColor(theme().borderColor()); | 1054 | gripRight().setBorderColor(theme().border().color()); |
1055 | 1055 | ||
1056 | if (bw_changes != 0) | 1056 | if (bw_changes != 0) |
1057 | resize(width(), height() + bw_changes); | 1057 | resize(width(), height() + bw_changes); |