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

[Octave-patch-tracker] [patch #8010] Change workspace row height to 20 p

From: John W. Eaton
Subject: [Octave-patch-tracker] [patch #8010] Change workspace row height to 20 pixels.
Date: Fri, 12 Apr 2013 06:02:50 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.11) Gecko/20100101 Firefox/10.0.11 Iceweasel/10.0.11 
Follow-up Comment #1, patch #8010 (project octave):

Is there some way to make the height dependent on the font size?


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?8010>

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