THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.
A new Flyspray task has been opened. Details are below.
User who did this - David (sugoi)
Attached to Project - awesome
Summary - Awesome misinterprets _NET_WM_STRUT_PARTIAL
Task Type - Bug Report
Category - Core
Status - Unconfirmed
Assigned To -
Operating System - Linux
Severity - Low
Priority - Normal
Reported Version - 3.4.9
Due in Version - Undecided
Due Date - Undecided
Details - I use a TwinView setup with Awesome 3.4.9 and Plasma-Desktop. The screens
are aligned at the top and their height differs by 124 pixels. When I put a Plasma
panel on bottom of the smaller screen, the windows do not cover a region over the
panel when tiling is enabled. This is the same symptom as in task 858 (
https://awesome.naquadah.org/bugs/index.php?do=details&task_id=858 ).
Right now, Plasma (panelview.cpp) sends the following as part of
_NET_WM_STRUT_PARTIAL:
1098 case Plasma::BottomEdge:
1099 strut.bottom_width = height() + bottomOffset;
Removing bottomOffset fixes this for me in Awesome.
But Plasma's code is correct according to freedesktop.org[1]:
=====
_NET_WM_STRUT_PARTIAL
[...snip...]
Another example is a panel on a screen using the Xinerama extension. Assume
that the set up uses two monitors, one running at 1280x1024 and the other to
the right running at 1024x768, with the top edge of the two physical displays
aligned. If the panel wants to fill the entire bottom edge of the smaller
display with a panel 50 pixels tall, it should set a bottom strut of 306, with
bottom_start_x of 1280, and bottom_end_x of 2303. **Note that the strut is
relative to the screen edge, and not the edge of the xinerama monitor**.
=====
** Highlight is mine.
[1] http://standards.freedesktop.org/wm-spec/1.4/ar01s05.html#id2569542
More information can be found at the following URL:
https://awesome.naquadah.org/bugs/index.php?do=details&task_id=897
You are receiving this message because you have requested it from the Flyspray
bugtracking system. If you did not expect this message or don't want to
receive mails in future, you can change your notification settings at the URL
shown above.
--
To unsubscribe, send mail to [email protected].
