D17323: Panel edit mode: change screen edge button hover cursor, add icons to screen edge button and panel size button
David Edmundson
noreply at phabricator.kde.org
Thu Dec 6 01:49:00 GMT 2018
davidedmundson added a comment.
> Local workarounds for toolkit bugs are ..
I fully 100% agree on that principle, but in this specific case from my tech POV, option 1 is fine too.
Sizing items is typically in the jurisdiction of the app using the component rather than the component itself - as long as you stay above the minimum size hints from the component.
This patch would, it's akin to doing QWidget::setHorizontalSizePolicy(Minimum)
I don't have an opinion on which is better UI.
REPOSITORY
R119 Plasma Desktop
REVISION DETAIL
https://phabricator.kde.org/D17323
To: GB_2, #plasma, #vdg
Cc: davidedmundson, matheusm, ngraham, trickyricky26, #vdg, plasma-devel, #plasma, alexde, IohannesPetros, ragreen, Pitel, crozbo, ndavis, ZrenBot, firef, skadinna, lesliezhai, ali-mohamed, jensreuterberg, aaronhoneycutt, abetts, sebas, apol, mbohlender, mart
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/plasma-devel/attachments/20181206/c2d05900/attachment.html>
More information about the Plasma-devel
mailing list