Doc West 414f626309 Implemented search case sensitivity

2018-07-04 21:03:54 +02:00

..

doc

set search status bar to 'no results' message when search yields no results

2018-06-13 15:48:24 +02:00

filter

Some PVS-Studio and cppcheck fixes

2018-04-18 12:36:10 +00:00

prefs

Adds the option to ignore "Base" records when running the verifier. (fixes #4466)

2018-06-20 00:20:03 +02:00

tools

Implemented search case sensitivity

2018-07-04 21:03:54 +02:00

world

Adds the option to ignore "Base" records when running the verifier. (fixes #4466)

2018-06-20 11:29:38 +02:00