octave-bug-tracker
[Top][All Lists]
Advanced
[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: Mon, 24 Nov 2014 08:56:04 +0000
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:33.0) Gecko/20100101 Firefox/33.0 
Follow-up Comment #6, bug #43297 (project octave):

My comment #2 is erroneous. As Armin said there is indeed a second preference
pane for the editor in which we can change the fontname and fontsize.  

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?43297>

_______________________________________________
  Message posté via/par Savannah
  http://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]