Move margins separator from widget menu to panel settings

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

Original commit message(s)

  • Adjust CMakeLists

  • Move margins separator to plasma-workspace

  • Add margins separator menu item

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-workspace!6494 (merged)

Test plan

Screenshots or screen recordings

image

Bugs fixed

Edited by Antti Savolainen

Merge request reports