all repos — fluxbox @ ad0cadcc04895073cff9518daa51c5fcea418777

custom fork of the fluxbox windowmanager

minor offset fix
fluxgen fluxgen
commit

ad0cadcc04895073cff9518daa51c5fcea418777

parent

1e7983d49fb2a1d7f37362c133614789ecac73e7

1 files changed, 2 insertions(+), 2 deletions(-)

jump to
M src/WinButtonTheme.ccsrc/WinButtonTheme.cc

@@ -19,7 +19,7 @@ // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING

// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER // DEALINGS IN THE SOFTWARE. -// $Id: WinButtonTheme.cc,v 1.4 2003/08/22 14:48:10 fluxgen Exp $ +// $Id: WinButtonTheme.cc,v 1.5 2003/08/22 15:19:39 fluxgen Exp $ #include "WinButtonTheme.hh"

@@ -110,7 +110,7 @@ unsigned int size = m_frame_theme.titleHeight();

if (m_frame_theme.titleHeight() == 0) { // calculate height from font and border width to scale pixmaps const int bevel = 1; - size = m_frame_theme.font().height() + bevel*2 + 2; + size = m_frame_theme.font().height() + 2; } // else use specified height to scale pixmaps