|
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/
[Prev in Thread] | Current Thread | [Next in Thread] |