[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #41193] GUI Editor: F3 should find next occurr

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:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]