Hide navbar when it has no buttons, e.g. Help plugin UI
Description
Description
Details
Details
- Provenance
machniak Authored on Oct 28 2017, 3:21 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:4ea094c80f5a: Fix setting frame title, unify some title to use short label
- Branches
- Unknown
- Tags