Changes between Version 2 and Version 3 of Ticket #3491
- Timestamp:
- 06/28/15 16:46:30 (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #3491 – Description
v2 v3 12 12 where {{{Ш}}} is the upper-case letter (capital), {{{ш}}} is the lower-case one. 13 13 3. Open this file in internal editor or viewer. 14 4. Press F7 and enter {{{Ш}}} in the input line. Check the "Case sensitive" option off. 15 Press Enter. 14 4. Press F7 and enter {{{Ш}}} in the input line. Check the "Case sensitive" option off. Press Enter. 16 15 17 16 Result: only {{{Ш}}} is found, {{{ш}}} is not found at all.