Draft: #9745: shell icon size, menu, zoom, navigation, quick mask
depends on !1198 (closed)
The 'display shell' corner icons now responds to custom icon size changes.
depends on !1198 (closed)
The 'display shell' corner icons now responds to custom icon size changes.