| Summary: | Set size for panel in pixels | ||
|---|---|---|---|
| Product: | [Plasma] plasmashell | Reporter: | alxgvr <alxgvr> |
| Component: | Panel | Assignee: | Plasma Bugs List <plasma-bugs> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | kde, kde, nate, simonandric5, zrenfire |
| Priority: | NOR | ||
| Version: | master | ||
| Target Milestone: | 1.0 | ||
| Platform: | Other | ||
| OS: | Linux | ||
| Latest Commit: | https://commits.kde.org/plasma-desktop/586797610e0876230a8ad0909cf373df94f252cc | Version Fixed In: | |
| Sentry Crash Report: | |||
| Attachments: |
attachment-10596-0.html
mousewheel panel size diff |
||
|
Description
alxgvr
2016-11-11 20:45:36 UTC
> I would like to see how many pixels it exactly
Why?
Created attachment 102231 [details] attachment-10596-0.html As I said, I would like to set panel size exactly same as window header bar size. So, when I add global menu extension (since Plasma 5.9) to the panel, and maximize window, it will look like top panel IS a window header bar (window decorations will be removed, so panel, actually, will become window header, just like in Unity shell). Or, add just an option like "set panel size equal to window header bar size" instead of showing size in pixels. пн, 14 нояб. 2016 г. в 14:06, David Edmundson <bugzilla_noreply@kde.org>: > https://bugs.kde.org/show_bug.cgi?id=372364 > > David Edmundson <kde@davidedmundson.co.uk> changed: > > What |Removed |Added > > ---------------------------------------------------------------------------- > CC| |kde@davidedmundson.co.uk > Resolution|--- |WAITINGFORINFO > Status|UNCONFIRMED |NEEDSINFO > > --- Comment #1 from David Edmundson <kde@davidedmundson.co.uk> --- > > I would like to see how many pixels it exactly > > Why? > > -- > You are receiving this mail because: > You reported the bug. Created attachment 106299 [details]
mousewheel panel size diff
Woops. Anyways, there was this reddit thread that mentioned > kbroulik: One thing I could live with is being able to use the mouse wheel on that button to adjust the size in pixel-steps. That's something the average user won't find but those who "desperately" need can use. https://www.reddit.com/r/kde/comments/65wdow/can_we_get_some_support_for_pixel_perfect_panel/ The above is a diff I could toss onto phab if interested. Here's a demo: https://streamable.com/m2o7c Thanks for your patch! Can you please upload it to phabricator.kde.org for other Plasma developers to review it? Patches on Bugzilla often get forgotten :/ FWIW, a major Linux reviewer mentioned this as a wishlist item in his recent review of the Plasma 5.12 beta: http://www.ocsmag.com/2018/01/27/plasma-5-12-long-term-sweetness/ "If you wish to change the bottom panel height, you don’t have a field where you can input an exact number. Instead you need to slide the panel up and down. This isn’t the end of the world, but it can be made simpler for those who prefer precise values." Anecdotally, this is a request that I see coming up over and over again online. The proposed patch makes things better, but an actual text field is what people really seem to want. Git commit 586797610e0876230a8ad0909cf373df94f252cc by Chris Holland. Committed on 31/01/2018 at 08:06. Pushed by cholland into branch 'master'. [Panel Config] Scrolling over size button increments size by 2 and shows current thickness The current thickness is also shown when dragging as well. The number disappears and is replaced with the original text after 1 second. Tested and works with a touchpad "mousewheel". Differential Revision: https://phabricator.kde.org/D6392 M +40 -1 desktoppackage/contents/configuration/panelconfiguration/SizeHandle.qml https://commits.kde.org/plasma-desktop/586797610e0876230a8ad0909cf373df94f252cc |