[Top][All Lists]

[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:


  Message sent via/by Savannah

reply via email to

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