Bug 423438

Summary:	Media Player does not allow resizing from all edges to the minimum size
Product:	[Plasma] plasmashell	Reporter:	Till Schäfer <till2.schaefer>
Component:	Media Player widget	Assignee:	Kai Uwe Broulik <kde>
Status:	RESOLVED FIXED
Severity:	minor	CC:	kinofhek, nate, plasma-bugs-null, uhhadd
Priority:	NOR
Version First Reported In:	5.19.1
Target Milestone:	1.0
Platform:	Gentoo Packages
OS:	Linux
Latest Commit:		Version Fixed/Implemented In:	5.26
Sentry Crash Report:

Description Till Schäfer 2020-06-24 11:22:27 UTC

When resizing the media player widget to its minimum height, it is only possible from the resize point on the bottom. The resize point on the top seem to have a different minimum height. 

Operating System: Gentoo Linux
KDE Plasma Version: 5.19.1
KDE Frameworks Version: 5.71.0
Qt Version: 5.15.0
Kernel Version: 5.7.5-gentoo
OS Type: 64-bit
Processors: 8 × Intel® Core™ i7-4790K CPU @ 4.00GHz
Memory: 23.5 GiB of RAM
Graphics Processor: GeForce GTX 970/PCIe/SSE2

Comment 1 Nate Graham 2020-06-25 19:00:20 UTC

Can reproduce.

Comment 2 Felipe Kinoshita 2022-07-09 09:42:58 UTC

I don't think this happens anymore, can anyone reproduce?

Comment 3 Nate Graham 2022-07-09 21:51:34 UTC

Also cannot reproduce. Seems to be fixed now!