Make task manager apply slim margins if defined by default and extend to borders (!128) · Merge requests · Plasma / Plasma Desktop

Niccolò Venerandi requested to merge niccolove/plasma-desktop:work/taskManagerMargins into master Aug 23, 2020

This patch uses the new appletinterface property to extend to borders. To have consistently sized icons in a panel, the task manager now also uses the slimMargin panel property (when defined) to define the margin of the icons contained. This way they will be consistent with other applets using that margin.

Make task manager apply slim margins if defined by default and extend to borders

Merge request reports