octave-bug-tracker
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #53247] GUI (global) search in documentation s

From: Toby
Subject: [Octave-bug-tracker] [bug #53247] GUI (global) search in documentation should not be case sensitive
Date: Wed, 28 Feb 2018 12:02:41 -0500 (EST)
User-agent: Mozilla/5.0 (Linux; Android 7.0; HUAWEI CAN-L11 Build/HUAWEICAN-L11) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/64.0.3282.137 Mobile Safari/537.36 
Follow-up Comment #2, bug #53247 (project octave):

I'm fine with case insensitive only, as it fits to the majority of searches,
where you don't know the exact case aware spelling.  And I fully agree with
your point on keeping the GUI streamlined.


    _______________________________________________________

Reply to this item at:

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

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