When switching between the different properties widgets, scroll up to the top…

Authored by asemke on May 30 2020, 7:40 AM.

Description

When switching between the different properties widgets, scroll up to the top so the user always sees the settings of the currently selected widget.

Details

Committed
asemkeMay 30 2020, 7:40 AM
Parents
R262:b10d94bcaa6d: [workshete] don't use the backing store image of the plot when exporting to a…
Branches
Unknown
Tags
Unknown