bugGNU TeXmacs - Bugs: bug #62049, Font change window lack a scroll...


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

bug #62049: Font change window lack a scroll bar on lower resolutions to confirm the font change

Submitter:  Agnelo <aurelius_nero>
Submitted:  Mon 14 Feb 2022 05:44:13 AM UTC
Category:  Qt port Priority:  5 - Normal
Item Group:  None Status:  Duplicate
Privacy:  Public Assigned to:  None
Originator Name:  Open/Closed:  Open
Release:  None Release: 
Fixed Release:  None Fixed Release: 

Tue 22 Feb 2022 09:22:26 PM UTC, comment #3: 

I doubt the dialog would "resize" in any arch (or any distro) because there is just no code for that in TeXmacs' GUI. I believe the difference you see is related to details in the desktop settings (the "theme" if you prefer; maybe the default font or its size size is different in Arch and Fedora...), like I mentionned earlier.
As for ways to drag a window partially past the screen edge in Gnome, see https://help.gnome.org/users/gnome-help/stable/shell-windows-states.html.en

Philippe Joyez <pjoyez>
Group Member
Mon 14 Feb 2022 08:47:02 PM UTC, comment #2: 

Nope sadly the alt click does no good. However, This issue does not persist on the Arch Linux version with the XFCE desktop environment. On Arch with XFCE, the window resizes properly to the given resolution. I don't know if the code is different, but maybe you guys could look at the Arch Linux version and see what is different.

Thank you

Agnelo <aurelius_nero>
Mon 14 Feb 2022 09:01:14 AM UTC, comment #1: 

This the same complaint as #48209; marking it as duplicate.

Even though the font dialog size was reduced since the previous report, this window can still get taller than your latop screen, depending on the settings of the desktop theme in use. The fix you suggest - implementing a scrollbar- requires a serious amount of coding.

Meanwhile, there is a simple workaround : On linux desktops you can normally drag any window by alt+click, enabling you to reveal this widget's buttons. The modifier key may be different on your desktops, though.

Philippe Joyez <pjoyez>
Group Member
Mon 14 Feb 2022 05:44:13 AM UTC, original submission:  

I have tried this on both the XFCE and Gnome desktop environments on Fedora 35.
The resolution I used was 1366 x 768 . The reason I used this resolution was because this is the max for my laptop screen (attached screenshot). I also attached another screenshot showcasing the lack of a scroll bar to scroll to the bottom of the font selection menu.

Bug: Font selection window has no scroll bar.

How to Replicate: Switch to a lower resolution specifically 1366 x 768

OS: Fedora 35

Desktop Environment: Gnome and XFCE

Agnelo <aurelius_nero>


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

Attached Files


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by pjoyez (Posted a comment)
  • -email is unavailable- added by aurelius_nero (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 3 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2022-02-14 pjoyez StatusNone Duplicate
    2022-02-14 aurelius_nero Attached File- Added show@main@screen@resolution.png, #52851
        Attached File- Added show@lack@of@scroll@bar.png, #52852

    Back to the top

    Powered by Savane 3.13-4448.
    Corresponding source code