Differences
This shows you the differences between the selected revisions of the page.
| 2016-05-31 | 2016-05-31 | ||
| filemask (martin) | options availability (martin) | ||
| Line 125: | Line 125: | ||
| ==== Options ==== | ==== Options ==== | ||
| - | In the //Text// box, specify the text to look for. | + | In the //Text// box, specify the text to look for. The option is available when executing the extension only. |
| - | In the //File mask// box, specify a [[file_mask|file mask]] to select files. | + | In the //File mask// box, specify a [[file_mask|file mask]] to select files. The option is available when executing the extension only. |
| - | In the //Session log file// you can specify a path to a [[logging|session log file]]. | + | In the //Session log file// you can specify a path to a [[logging|session log file]]. The option is available on the [[ui_pref_commands|Preferences dialog]] only. |
| ===== In the Stable Version ===== | ===== In the Stable Version ===== | ||