summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/FbWinFrame.cc28
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
1032void FbWinFrame::setBorderWidth(unsigned int borderW) { 1032void 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);