user-guide:common_panels
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
user-guide:common_panels [2024/12/04 13:48] – [Function Browser] gaetan | user-guide:common_panels [2025/02/14 15:29] (current) – [Search Project] Tim | ||
---|---|---|---|
Line 1: | Line 1: | ||
===== Common panels ===== | ===== Common panels ===== | ||
+ | |||
+ | |||
==== File Explorer ==== | ==== File Explorer ==== | ||
Line 83: | Line 85: | ||
{{: | {{: | ||
+ | |||
+ | ==== Search Project ==== | ||
+ | |||
+ | The project wide search panel can be found under " | ||
+ | |||
+ | 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 [[user-manual: | ||
+ | |||
+ | {{: | ||
==== Other Explorer Panels ==== | ==== Other Explorer Panels ==== | ||
user-guide/common_panels.1733316495.txt.gz · Last modified: 2024/12/04 13:48 by gaetan