|
From: | Torsten Lilge |
Subject: | [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed |
Date: | Sun, 9 May 2021 08:51:18 -0400 (EDT) |
User-agent: | Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/89.0.4389.114 Safari/537.36 |
Follow-up Comment #11, bug #60556 (project octave): For me opening the settings file dialog takes the same time in dev and stable, too. Opening the setting dialog might be slightly longer when you have not yet made some changes to the default editor styles. In this case the dialog gets all the default setting from qscintilla's lexers which might take longer compared to reading the setting from octave's settings file. _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?60556> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |