[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):
Hi,
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:
<http://savannah.gnu.org/bugs/?43297>
_______________________________________________
Message posté via/par Savannah
http://savannah.gnu.org/