GNU 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: | |
Keywords: |
Jump to the original submission
Tue 02 Jul 2013 05:17:13 PM UTC, comment #8: |
Miguel de Benito <mdbenito>![]() ![]() |
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.
|
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>![]() |
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>![]() |
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>![]() |
Thu 15 Mar 2012 01:20:52 AM UTC, comment #3: Is the font for the focus toolbar hard-coded as well?
|
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>![]() ![]() |
Fri 16 Sep 2011 09:32:02 AM UTC, comment #1: Test for Max (please ignore). |
Joris van der Hoeven <vdhoeven>![]() |
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.
|
Kostas Oikonomou <koikonomou> |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
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 | Status | None | ![]() |
Postponed |
2012-08-09 | mdbenito | Status | Fixed | ![]() |
None |
Open/Closed | Accepted | ![]() |
Open | ||
2012-03-14 | mdbenito | Category | None | ![]() |
User Interface |
Item Group | None | ![]() |
Cleanup | ||
Status | None | ![]() |
Fixed | ||
Assigned to | None | ![]() |
mdbenito | ||
Open/Closed | Open | ![]() |
Accepted |
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.