Differences
This shows you the differences between the selected revisions of the page.
| 2006-06-08 | 2019-04-19 (current) | ||
| old revision restored (martin) (hidden) | ad placement (Petr) | ||
| Line 11: | Line 11: | ||
| Check //Match case// if only string with exactly matching case should be found. | Check //Match case// if only string with exactly matching case should be found. | ||
| + | |||
| + | ~~AD~~ | ||
| Press button //Find next// to start searching. If occurence of the string is found, view will be scrolled to reveal the string and the string itself will be highlighted. You can press it repeatedly to search for other occurences. | Press button //Find next// to start searching. If occurence of the string is found, view will be scrolled to reveal the string and the string itself will be highlighted. You can press it repeatedly to search for other occurences. | ||