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

Submitted by:  Kostas Oikonomou <koikonomou>
Submitted on:  Mon 12 Sep 2011 06:32:52 PM UTC  
 
Category: User InterfacePriority: 5 - Normal
Item Group: CleanupStatus: Postponed
Privacy: PublicAssigned to: Miguel de Benito <mdbenito>
Originator Name: Open/Closed: Open
Release: Release: None
Fixed Release: NoneFixed Release: 
Keywords: 

(Jump to the original submission 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>
Project MemberIn charge of this item.
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>
Project 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>
Project 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>
Project 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>
Project MemberIn charge of this item.
Fri 16 Sep 2011 09:32:02 AM UTC, comment #1:

Test for Max (please ignore).

Joris van der Hoeven <vdhoeven>
Project 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>

 

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

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

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    Follow 8 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Thu 15 Aug 2013 01:14:56 PM UTCmdbenitoStatusNone=>Postponed
    Thu 09 Aug 2012 08:31:34 PM UTCmdbenitoStatusFixed=>None
      Open/ClosedAccepted=>Open
    Wed 14 Mar 2012 10:36:11 PM UTCmdbenitoCategoryNone=>User Interface
      Item GroupNone=>Cleanup
      StatusNone=>Fixed
      Assigned toNone=>mdbenito
      Open/ClosedOpen=>Accepted

    Back to the top


    Powered by Savane 3.1-cleanup1