diff options
Diffstat (limited to 'src')
| -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 | ||