[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #43297] Preferences:Editor:Fonts

From: Pantxo Diribarne
Subject: [Octave-bug-tracker] [bug #43297] Preferences:Editor:Fonts
Date: Thu, 25 Sep 2014 11:10:34 +0000
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:32.0) Gecko/20100101 Firefox/32.0

Follow-up Comment #2, bug #43297 (project octave):


Are you really talking about Editor preferences or Terminal? The latter indeed
features a combo box to choose font (which is disabled on mac due to bug
#40545), but I don't see such preference for the editor. 
AFAIR terminal font size used to work for me on octave 3.8.0 installed from
octave-forge dmg.


Reply to this item at:


  Message posté via/par Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]