Bug 423438 - Media Player does not allow resizing from all edges to the minimum size
Summary: Media Player does not allow resizing from all edges to the minimum size
Status: RESOLVED FIXED
Alias: None
Product: plasmashell
Classification: Plasma
Component: Media Player widget (other bugs)
Version First Reported In: 5.19.1
Platform: Gentoo Packages Linux
: NOR minor
Target Milestone: 1.0
Assignee: Kai Uwe Broulik
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2020-06-24 11:22 UTC by Till Schäfer
Modified: 2022-07-09 21:51 UTC (History)
4 users (show)

See Also:
Latest Commit:
Version Fixed/Implemented In: 5.26
Sentry Crash Report:

Attachments
Add an attachment

Note You need to log in before you can comment on or make changes to this bug.
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!