more header shared with external plugins

Authored by cgilles on May 31 2020, 7:02 AM.

Description

more header shared with external plugins

Details

Committed
cgillesMay 31 2020, 7:02 AM
Parents
R482:cd3e2403a029: use parent widget geometry also for the OSD
Branches
Unknown
Tags
Unknown