mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-03 07:05:24 +02:00
[243495] [api] New: Allow file name search in Remote Search to not be case sensitive
-default to old 3.0 behaviour if not set
This commit is contained in:
parent
8e2ceb4803
commit
2759275911
1 changed files with 9 additions and 0 deletions
|
@ -1481,6 +1481,15 @@ public class SystemSearchPage extends DialogPage implements ISearchPage {
|
|||
initialCaseSensitive = s.getBoolean(STORE_CONFIG_CASE_SENSITIVE);
|
||||
initialStringRegex = s.getBoolean(STORE_CONFIG_STRING_REGEX);
|
||||
initialFileNameCaseSensitive = s.getBoolean(STORE_CONFIG_FILENAME_CASE_SENSITIVE);
|
||||
if (!initialFileNameCaseSensitive){
|
||||
// make sure it was set this way as opposed to defaulting
|
||||
// in order to preserve the 3.0 behaviour, the default needs to be true
|
||||
String value = s.get(STORE_CONFIG_FILENAME_CASE_SENSITIVE);
|
||||
if (value == null){
|
||||
initialFileNameCaseSensitive = true;
|
||||
}
|
||||
}
|
||||
|
||||
initialFileNameRegex = s.getBoolean(STORE_CONFIG_FILENAME_REGEX);
|
||||
initialSearchArchives = s.getBoolean(STORE_CONFIG_INCLUDE_ARCHIVES);
|
||||
initialSearchSubfolders = s.getBoolean(STORE_CONFIG_INCLUDE_SUBFOLDERS);
|
||||
|
|
Loading…
Add table
Reference in a new issue