|
From: | Dan Sebald |
Subject: | [Octave-patch-tracker] [patch #8010] Change workspace row height to 20 pixels. |
Date: | Thu, 11 Apr 2013 20:00:56 +0000 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:18.0) Gecko/20100101 Firefox/18.0 SeaMonkey/2.15 |
URL: <http://savannah.gnu.org/patch/?8010> Summary: Change workspace row height to 20 pixels. Project: GNU Octave Submitted by: sebald Submitted on: Thu 11 Apr 2013 08:00:55 PM GMT Category: None Priority: 5 - Normal Status: None Privacy: Public Assigned to: None Originator Email: Open/Closed: Open Discussion Lock: Any _______________________________________________________ Details: This patch will adjust the appearance of any new rows in the workspace view after a change in the workspace data model. _______________________________________________________ File Attachments: ------------------------------------------------------- Date: Thu 11 Apr 2013 08:00:55 PM GMT Name: octave-gui_workspace_row_height-2013apr11.patch Size: 3kB By: sebald <http://savannah.gnu.org/patch/download.php?file_id=27842> _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/patch/?8010> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |