01_user_documentation:03_interacting_with_groimp:02_panels:15_search
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| 01_user_documentation:03_interacting_with_groimp:02_panels:15_search [2025/04/04 15:59] – created gaetan | 01_user_documentation:03_interacting_with_groimp:02_panels:15_search [2025/09/05 17:20] (current) – ↷ Links adapted because of a move operation gaetan | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Search ====== | + | ====== Search |
| + | |||
| + | A search panel that looks for text matching in all resources of the project. | ||
| + | It can be used by typing in the text input and trigger the search by pressing enter. The search process filters all resources of a project based on the name and additionally the file based on the content. | ||
| + | |||
| + | ====== | ||
| + | |||
| + | |||
| + | The search result works similar to other explorers, meaning that each result can be opened the same way as in the dedicated explorer. Additionally the [[01_user_documentation: | ||
| + | |||
| + | {{: | ||
| - | A search panel that look for text matching in all resources of hte project. | ||
01_user_documentation/03_interacting_with_groimp/02_panels/15_search.1743775173.txt.gz · Last modified: 2025/04/04 15:59 by gaetan
