|
From: | John Darrington |
Subject: | [patch #6210] Make viewport {width, length} under direct ownership of the user interface |
Date: | Tue, 25 Sep 2007 06:27:38 +0000 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20060607 Debian/1.7.12-1.2 |
Follow-up Comment #13, patch #6210 (project pspp): It looks good. I've attached a patch which adds the appropriate bits to the GUI. There are at least half a dozen reasons why it's not ideal, but in the end it all boils down to the fact that using the ascii driver for the gui is not the best solution anyway. But I think it's good enough for now. (file #14026) _______________________________________________________ Additional Item Attachment: File name: viewport-gui.patch Size:4 KB _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/patch/?6210> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |