bugGNU TeXmacs - Bugs: bug #60323, Math symbols in toolbar menus are...


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

bug #60323: Math symbols in toolbar menus are tiny

Submitter:  Jeroen Wouters <jeronim>
Submitted:  Thu 01 Apr 2021 08:51:14 PM UTC
Category:  None Priority:  5 - Normal
Item Group:  None Status:  None
Privacy:  Public Assigned to:  None
Originator Name:  Open/Closed:  Open
Release:  None Release: 
Fixed Release:  None Fixed Release: 

Thu 01 Apr 2021 08:51:14 PM UTC, original submission:  

If I click the symbol picker menus in a math environment (e.g. the one with the \otimes icon and tooltip "Insert a binary relation"), the dropdown menu contains tiny symbols.

I have both the high-resolution settings enabled.

The attached patch fixes this problem, mostly. The "Insert an accent" menu contains .xpm icons so is not scaled by this patch.

Jeroen Wouters <jeronim>
Group Member


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

Attached Files
file #51173:  tiny-symbols.diff added by jeronim (541B - text/x-patch)


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by jeronim (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.


    Follows 1 latest change.

    Date Changed by Updated Field Previous Value => Replaced by
    2021-04-01 jeronim Attached File- Added tiny-symbols.diff, #51173

    Back to the top

    Powered by Savane 3.13-4b48.
    Corresponding source code