Move margins separator from widget menu to panel settings

Antti Savolainenrequested to merge
asavolainen/plasma-workspace:margin into master

Original commit message(s)

  • Adjust CMakeLists

  • Hide margins separator from WidgetExplorer

  • Move margins separator from plasma-desktp

  • Add margins separator add function

Reason for the change

Similar to panel spacer the margins separator should not be placed on the desktop because it does nothing there

Sibling merge request: plasma-desktop!3663 (merged)

Test plan

Screenshots or screen recordings

image

Bugs fixed

Edited by Antti Savolainen

Merge request reports