Fix page title and folder selection in search mode
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Apr 7 2014, 3:01 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:e8cb51669a32: More fixes for multi-folder search (#1485234)
- Branches
- Unknown
- Tags