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: Dan Sebald
Subject: [Octave-patch-tracker] [patch #8010] Change workspace row height to 20 pixels.
Date: Fri, 12 Apr 2013 08:53:10 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:18.0) Gecko/20100101 Firefox/18.0 SeaMonkey/2.15 
Follow-up Comment #3, patch #8010 (project octave):

Try the new changeset.  Kind of scrunched together, but I don't mind it.  Can
add 10% if users complain.

(file #27852)
    _______________________________________________________

Additional Item Attachment:

File name: octave-gui_workspace_row_height-2013apr12.patch Size:3 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]