Bug 372364 - Set size for panel in pixels
Summary: Set size for panel in pixels
Status: RESOLVED FIXED
Alias: None
Product: plasmashell
Classification: Plasma
Component: Panel (show other bugs)
Version: master
Platform: Other Linux
: NOR normal
Target Milestone: 1.0
Assignee: Plasma Bugs List
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2016-11-11 20:45 UTC by alxgvr
Modified: 2018-01-31 08:11 UTC (History)
5 users (show)

See Also:
Latest Commit:
Version Fixed In:
Sentry Crash Report:


Attachments
attachment-10596-0.html (2.20 KB, text/html)
2016-11-14 14:11 UTC, alxgvr
Details
mousewheel panel size diff (1.47 KB, patch)
2017-06-26 05:05 UTC, Chris Holland
Details

Note You need to log in before you can comment on or make changes to this bug.
Description alxgvr 2016-11-11 20:45:36 UTC
Hi. When I configuring panel size, I would like to see how many pixels it exactly. I going to find how many pixels window header bar (or menu bar) is and set EXACTLY same size for my panel. I will put my panel on top, and will use global menu widget. So my panel should be same size as menu bar in windows (I think its esthetically correct).

In XFCE you can see how many pixels panel size is. Would love to have this in Plasma (could be hided in "advance settings")
Comment 1 David Edmundson 2016-11-14 11:06:54 UTC
> I would like to see how many pixels it exactly

Why?
Comment 2 alxgvr 2016-11-14 14:11:20 UTC
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.
Comment 3 Chris Holland 2017-06-26 05:05:15 UTC
Created attachment 106299 [details]
mousewheel panel size diff
Comment 4 Chris Holland 2017-06-26 05:11:11 UTC
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
Comment 5 Kai Uwe Broulik 2017-06-26 06:42:38 UTC
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 :/
Comment 6 Christoph Feck 2017-06-28 18:47:32 UTC
https://phabricator.kde.org/D6392
Comment 7 Nate Graham 2018-01-29 21:25:18 UTC
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.
Comment 8 Chris Holland 2018-01-31 08:11:18 UTC
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