[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #61792] debugger changes font in GUI
|
From: |
Torsten Lilge |
|
Subject: |
[Octave-bug-tracker] [bug #61792] debugger changes font in GUI |
|
Date: |
Tue, 11 Jan 2022 13:26:22 -0500 (EST) |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/90.0.4430.212 Safari/537.36 |
Follow-up Comment #1, bug #61792 (project octave):
Good catch! This behavior was introduced with the feature that hovering with
the mouse over a variable on the editor in debug mode, the value of the
variable is shown in a tooltip. For this, the tooltip font is changed to the
current lexer font (most propably a fixed width font) and changed back when
leaving the debug mode.
I will look for a way to limit the font change to the edit area or include the
font formatting in the tooltip text itself if possible.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?61792>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/