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: Lars Kindermann
Subject: [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed
Date: Sat, 8 May 2021 06:25:31 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Firefox/78.0

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

                 Summary: Editor fonts suddenly changed
                 Project: GNU Octave
            Submitted by: larskindermann
            Submitted on: Sat 08 May 2021 12:25:29 PM CEST
                Category: GUI
                Severity: 3 - Normal
                Priority: 5 - Normal
              Item Group: Regression
                  Status: None
             Assigned to: None
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
                 Release: dev
         Discussion Lock: Any
        Operating System: GNU/Linux

    _______________________________________________________

Details:

Current dev suddenly changed the editor fonts.

After deleting the whole .config/octave directory, default fonts are restored.
But after quitting/restarting octave the fonts have changed again.

Trying to change fonts in the preferences dialog sometimes has no effect,
sometimes crashes the gui. 





    _______________________________________________________

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]