diff options
-rw-r--r-- | src/WinButtonTheme.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/WinButtonTheme.cc b/src/WinButtonTheme.cc index 38d2de5..b8628eb 100644 --- a/src/WinButtonTheme.cc +++ b/src/WinButtonTheme.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: WinButtonTheme.cc,v 1.4 2003/08/22 14:48:10 fluxgen Exp $ | 22 | // $Id: WinButtonTheme.cc,v 1.5 2003/08/22 15:19:39 fluxgen Exp $ |
23 | 23 | ||
24 | #include "WinButtonTheme.hh" | 24 | #include "WinButtonTheme.hh" |
25 | 25 | ||
@@ -110,7 +110,7 @@ void WinButtonTheme::reconfigTheme() { | |||
110 | if (m_frame_theme.titleHeight() == 0) { | 110 | if (m_frame_theme.titleHeight() == 0) { |
111 | // calculate height from font and border width to scale pixmaps | 111 | // calculate height from font and border width to scale pixmaps |
112 | const int bevel = 1; | 112 | const int bevel = 1; |
113 | size = m_frame_theme.font().height() + bevel*2 + 2; | 113 | size = m_frame_theme.font().height() + 2; |
114 | 114 | ||
115 | } // else use specified height to scale pixmaps | 115 | } // else use specified height to scale pixmaps |
116 | 116 | ||