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 widgetAssignee: 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!