octave-bug-tracker
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #59829] Wrong font setting after start up in G

From: Hg200
Subject: [Octave-bug-tracker] [bug #59829] Wrong font setting after start up in GUI
Date: Thu, 7 Jan 2021 16:47:55 -0500 (EST)
User-agent: Mozilla/5.0 (X11; Fedora; Linux x86_64; rv:82.0) Gecko/20100101 Firefox/82.0 
Follow-up Comment #4, bug #59829 (project octave):

The fix in comment #2 is fine from my side. I now have "DejaVu Sans Mono 9" in
the editor preferences. If i change my default font size to 11 and restart
Octave after removing the ini file it also changes its size to 11.

    _______________________________________________________

Reply to this item at:

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

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]