[CHANGE] our dock widgets now use a custom title. This (later) allows to add...
[CHANGE] our dock widgets now use a custom title. This (later) allows to add custom actions and buttons to the titlebar.
Showing
Please register or sign in to comment