Fix flickering of header topline in min-mode (#5426)
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Oct 11 2016, 2:12 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:b258b91560d0: Do not show inline images of unsupported mimetype (#5463)
- Branches
- Unknown
- Tags