|
From: | Jordi Gutiérrez Hermoso |
Subject: | [Octave-patch-tracker] [patch #7867] Add proper toolbar to GUI editor window when undocked. |
Date: | Fri, 02 Nov 2012 20:16:55 +0000 |
User-agent: | Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.13) Gecko/20110109 Earthhawk/3.6.13 |
Follow-up Comment #3, patch #7867 (project octave): Okay, should the patch be backed out? _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/patch/?7867> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |