all repos — fluxbox @ a14a5eff0dccb13ba6fc050fd8f7e00b08360f07

custom fork of the fluxbox windowmanager

fixed title problem, patch from Mathias Gumz
fluxgen fluxgen
commit

a14a5eff0dccb13ba6fc050fd8f7e00b08360f07

parent

715b376c8cfa7a89e3a1cba24885e660fb61c4bf

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

jump to
M src/FbTk/Menu.ccsrc/FbTk/Menu.cc

@@ -22,7 +22,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: Menu.cc,v 1.56 2004/02/27 14:21:13 fluxgen Exp $ +// $Id: Menu.cc,v 1.57 2004/04/14 14:02:41 fluxgen Exp $ //use GNU extensions #ifndef _GNU_SOURCE

@@ -363,7 +363,8 @@ menu.item_h = m_theme.frameFont().height() + menu.bevel_w;

menu.title_h = m_theme.titleFont().height() + menu.bevel_w*2; if (title_vis) { - menu.item_w = m_theme.frameFont().textWidth(menu.label.c_str(), menu.label.size()); + menu.item_w = m_theme.titleFont().textWidth(menu.label.c_str(), + menu.label.size()); menu.item_w += (menu.bevel_w * 2); } else