|
From: | Torsten Lilge |
Subject: | [Octave-bug-tracker] [bug #61792] debugger changes font in GUI |
Date: | Tue, 11 Jan 2022 15:23:03 -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 |
Update of bug #61792 (project octave): Status: None => Fixed Open/Closed: Open => Closed Operating System: Microsoft Windows => Any _______________________________________________________ Follow-up Comment #2: I have pushed cset http://hg.savannah.gnu.org/hgweb/octave/rev/754ad6e9c0a5 that removes the change of the tooltip font in debug mode. I dod not find a simple way (i.e. safe for the stable branch just before a release) to limit the font change to tooltip within the edit area. Thus can be re-implemented later in the default branch. _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?61792> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |