Differences
This shows you the differences between the selected revisions of the page.
| 2012-05-07 | 2012-09-24 | ||
| 5.0.7 edit file mask button (martin) | 5.1 is stable (martin) | ||
| Line 7: | Line 7: | ||
| In //Filter// section, select which files you want to search for. | In //Filter// section, select which files you want to search for. | ||
| - | In //File mask// you can specify [[file_mask|file mask]]. Press //Edit// button to edit the file mask in [[ui_editmask|File mask dialog]] (&beta_feature) | + | In //File mask// you can specify [[file_mask|file mask]]. Press //Edit// button to edit the file mask in [[ui_editmask|File mask dialog]]. |
| In //Search in//, specify root directory to start searching from. Initially the current working remote directory is selected. | In //Search in//, specify root directory to start searching from. Initially the current working remote directory is selected. | ||