|
From: | Philip Nienhuis |
Subject: | [Octave-bug-tracker] [bug #41193] GUI Editor: F3 should find next occurrence |
Date: | Fri, 10 Jan 2014 19:57:57 +0000 |
User-agent: | Mozilla/5.0 (Windows NT 5.1; rv:25.0) Gecko/20100101 Firefox/25.0 SeaMonkey/2.22.1 |
Follow-up Comment #3, bug #41193 (project octave): There is already a bug report for that: bug #41180 (could be retitled a bit though) Shall I close this one with "dulplicate"? _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?41193> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |