diff options
| -rw-r--r-- | src/WinButtonTheme.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/WinButtonTheme.cc b/src/WinButtonTheme.cc index 74d37c8..85b273e 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.6 2003/08/22 21:35:40 fluxgen Exp $ | 22 | // $Id: WinButtonTheme.cc,v 1.7 2003/08/25 16:51:16 fluxgen Exp $ |
| 23 | 23 | ||
| 24 | #include "WinButtonTheme.hh" | 24 | #include "WinButtonTheme.hh" |
| 25 | 25 | ||
| @@ -62,7 +62,6 @@ void WinButtonTheme::reconfigTheme() { | |||
| 62 | unsigned int size = m_frame_theme.titleHeight(); | 62 | unsigned int size = m_frame_theme.titleHeight(); |
| 63 | if (m_frame_theme.titleHeight() == 0) { | 63 | if (m_frame_theme.titleHeight() == 0) { |
| 64 | // calculate height from font and border width to scale pixmaps | 64 | // calculate height from font and border width to scale pixmaps |
| 65 | const int bevel = 1; | ||
| 66 | size = m_frame_theme.font().height() + 2; | 65 | size = m_frame_theme.font().height() + 2; |
| 67 | 66 | ||
| 68 | } // else use specified height to scale pixmaps | 67 | } // else use specified height to scale pixmaps |