bugGNU TeXmacs - Bugs: bug #34276, Tiny font size in minibuffer and...


You are not allowed to post comments on this tracker with your current authentication level.

bug #34276: Tiny font size in minibuffer and in focus toolbar

Submitter:  Kostas Oikonomou <koikonomou>
Submitted:  Mon 12 Sep 2011 06:32:52 PM UTC
Category:  User Interface Priority:  5 - Normal
Item Group:  Cleanup Status:  Postponed
Privacy:  Public Assigned to:  mdbenito
Originator Name:  Open/Closed:  Open
Release:  None Release: 
Fixed Release:  None Fixed Release: 

Jump to the original submission

Tue 02 Jul 2013 05:17:13 PM UTC, comment #8: 

Given that this hardcoded size is a real problem for some people, I implemented a workaround using a scheme preference "gui:mini-fontsize". Setting it to "14" will change the font size of all widgets with MINI style, e.g. focus toolbar and status bar. Abusing this will make icons look ugly, but I think it is preferable to let the user choose.

A related issue is that we may want to move fine widget configuration to the scheme side as a more sophisticated way of specifying widget styles than simply integers with some presets (mini, gray, bold, etc.) This would make my patch obsolete.

Miguel de Benito <mdbenito>
Group Member
Thu 15 Mar 2012 12:53:09 PM UTC, comment #7: 

I agree that we don't need arbitrary multiple sizes.  But we do need a few, perhaps "small", "medium", "large".  But I am surprised by the fact that only I (apparently) found the 10pt size in the footer and focus toolbar to be too small.

And I understand Joris' point about the difficulties with the graphical design.

Kostas Oikonomou <koikonomou>
Thu 15 Mar 2012 09:39:14 AM UTC, comment #6: 

I agree with Joris. The only need for multiple sizes in UI is to take advantage to large screens in order to save the eyes or economize space on small screens, so two settings will suffice. Take into account that as I said most OS do not allow to change the font size for standard UI elements. Maybe we should simply be sure that our defauls (for example for the toolbar) looks right in any OS (Win 200, Win XP, Win 7, Mac, etc...).

Massimiliano Gubinelli <mgubi>
Group administrator
Thu 15 Mar 2012 09:33:46 AM UTC, comment #5: 

There is a problem though with changing font sizes: much of the graphical design has been done for a fixed font size. For instance, if we want a larger font size on the focus bar, then we would need larger icons as well, whence larger icons on the other toolbars. Also, changing the sizes of icons is a very delicate issue: an icon which looks nice at 16x16 typically looks fine at 32x32 and maybe at 24x24, but not at 20x20. I think that we might want to allow for a few other sizes, but it is not clear how to allow for easy and nice looking customization of font sizes throughout the GUI.

Joris van der Hoeven <vdhoeven>
Group administrator
Thu 15 Mar 2012 09:11:38 AM UTC, comment #4: 

in general all font sizes in most of the non-custom qt widgets is hardcoded. for some there is a reason: the file dialog should obey the system font size and not any redefinion which could happen at qt or texmacs level. on the mac  and windows it is not possible (afaik) to change font size for the main menu and for the pop-up menus since they are actually handled by the OS and not by the application. I agree that would be nice to set font size (at least small or large fonts) for toolbar elements, for the footer and any other "custom" element in the TeXmacs interface which has not direct counterpart at OS level.

Massimiliano Gubinelli <mgubi>
Group administrator
Thu 15 Mar 2012 01:20:52 AM UTC, comment #3: 

Is the font for the focus toolbar hard-coded as well?

I don't know what the right solution is, but there are other font size issues also.  For example, the Qt version doesn't seem to obey what is set with qtconfig, and also seems to ignore what is specified in the invocation of texmacs, e.g. in

/opt/texmacs/qt-bin/texmacs -font ecrm10@600

the ecrm10@600 doesn't have any effect.

Kostas Oikonomou <koikonomou>
Wed 14 Mar 2012 10:36:11 PM UTC, comment #2: 

The font size was hardcoded to 10pt. The widget now follows the convention for styles in widgets (i.e STYLE_MINI, usw.), so a solution to this "problem" can be implemented. I think the size should be user-configurable, at least allowing to choose "mini" or not.

Miguel de Benito <mdbenito>
Group Member
Fri 16 Sep 2011 09:32:02 AM UTC, comment #1: 

Test for Max (please ignore).

Joris van der Hoeven <vdhoeven>
Group administrator
Mon 12 Sep 2011 06:32:52 PM UTC, original submission:  

The Qt version has a tiny fonts size for the minubuffer/footer and the focus toolbar. Looks like 8 or 9pt, and is practically unusable.
This is on Solaris, with Qt 4.6.3.  Using qtconfig has no effect.

Kostas Oikonomou <koikonomou>


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by mgubi (Posted a comment)
  • -email is unavailable- added by mdbenito (Posted a comment)
  • -email is unavailable- added by vdhoeven (Posted a comment)
  • -email is unavailable- added by koikonomou (Submitted the item)

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.


    Follow 8 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2013-08-15 mdbenito StatusNone Postponed
    2012-08-09 mdbenito StatusFixed None
        Open/ClosedAccepted Open
    2012-03-14 mdbenito CategoryNone User Interface
        Item GroupNone Cleanup
        StatusNone Fixed
        Assigned toNone mdbenito
        Open/ClosedOpen Accepted

    Back to the top

    Powered by Savane 3.13-c54d.
    Corresponding source code