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: Torsten
Subject: [Octave-patch-tracker] [patch #8010] Change workspace row height to 20 pixels.
Date: Fri, 26 Apr 2013 20:13:36 +0000
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux i686; rv:20.0) Gecko/20100101 Firefox/20.0 
Follow-up Comment #4, patch #8010 (project octave):

I slighty modified the patch. Using resizeRowToContents (), we do not have to
take care of font metrics. What do you think?

(file #27955)
    _______________________________________________________

Additional Item Attachment:

File name: ws_row_height_2013-04-26.diff  Size:2 KB


    _______________________________________________________

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]