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

[Lars Kindermann]

Follow-up Comment #7, bug #60556 (project octave):

Hard to reproduce, very intermittent problem.

I tried about 50 times to open and close the editor preferences and had two
crashes. One after changing font size and pressing ok. Another one after the
widget had closed and I clicked somewhere else in the gui.

It takes very long to open the preferences window, about 5 seconds with 100%
CPU until it comes up, and pressing Apply or Ok even takes longer, about 8
seconds, also with 100% CPU.

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?60556>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/