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

[Torsten Lilge]

Update of bug #60556 (project octave):

                  Status:          Ready For Test => Fixed                  

    _______________________________________________________

Follow-up Comment #13:

I think the issue with the changing fonts is solved but Lars also mentioned
some occasionally crashes when changing editor styles. Therefore, I am closing
this bug report as fixed.

@Lars: If the crashes are still present on your system, please open a separate
bug report for this.

    _______________________________________________________

Reply to this item at:

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

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