octave-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed


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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]