- ::operator_match disobeyed rc.search.case.sensitive.
This commit is contained in:
Paul Beckingham 2014-06-02 23:15:25 -04:00
parent ac07189941
commit 7196ac8554
4 changed files with 6 additions and 19 deletions

View file

@ -640,8 +640,9 @@ void Context::staticInitialization ()
Task::coefficients[*var] = config.getReal (*var);
}
Lexer::dateFormat = config.get ("dateformat");
Variant::dateFormat = config.get ("dateformat");
Lexer::dateFormat = config.get ("dateformat");
Variant::dateFormat = config.get ("dateformat");
Variant::searchCaseSensitive = config.getBoolean ("search.case.sensitive");
}
////////////////////////////////////////////////////////////////////////////////