octave-bug-tracker
[Top][All Lists]
Advanced
[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 20:00:15 +0000
User-agent: Mozilla/5.0 (Windows NT 5.1; rv:25.0) Gecko/20100101 Firefox/25.0 SeaMonkey/2.22.1 
Update of bug #41193 (project octave):

                  Status:                    None => Duplicate              
             Open/Closed:                    Open => Closed                 
        Operating System:       Microsoft Windows => Any                    

    _______________________________________________________

Follow-up Comment #4:

hmmm closing with "Duplicate" is better

Also here OS set to "Any"

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?41193>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]