diff options
| author | markt <markt> | 2007-07-01 17:59:57 (GMT) |
|---|---|---|
| committer | markt <markt> | 2007-07-01 17:59:57 (GMT) |
| commit | 7783a8c84e57c4a58d270b9722800a031f50ed62 (patch) | |
| tree | 2c6f8f4ff4aede78907466a6b15bfd25fdd3600c /src/WinButtonTheme.cc | |
| parent | 61b757d872778131aa773aadc9c59fdfb3fe2238 (diff) | |
| download | fluxbox_pavel-7783a8c84e57c4a58d270b9722800a031f50ed62.zip fluxbox_pavel-7783a8c84e57c4a58d270b9722800a031f50ed62.tar.bz2 | |
more fixes for _NET_WM_STATE_MODAL and _NET_WM_STATE_DEMANDS_ATTENTION
Diffstat (limited to 'src/WinButtonTheme.cc')
| -rw-r--r-- | src/WinButtonTheme.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/WinButtonTheme.cc b/src/WinButtonTheme.cc index 22e86fc..ac6d5f7 100644 --- a/src/WinButtonTheme.cc +++ b/src/WinButtonTheme.cc | |||
| @@ -67,7 +67,8 @@ WinButtonTheme::~WinButtonTheme() { | |||
| 67 | void WinButtonTheme::reconfigTheme() { | 67 | void WinButtonTheme::reconfigTheme() { |
| 68 | // rescale the pixmaps to match frame theme height | 68 | // rescale the pixmaps to match frame theme height |
| 69 | 69 | ||
| 70 | unsigned int size = m_frame_theme.titleHeight(); | 70 | unsigned int size = m_frame_theme.titleHeight() |
| 71 | - 2 * m_frame_theme.bevelWidth(); | ||
| 71 | if (m_frame_theme.titleHeight() == 0) { | 72 | if (m_frame_theme.titleHeight() == 0) { |
| 72 | // calculate height from font and border width to scale pixmaps | 73 | // calculate height from font and border width to scale pixmaps |
| 73 | size = m_frame_theme.font().height() + 2; | 74 | size = m_frame_theme.font().height() + 2; |