You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[Originally reported by gentoo@…]
(When opening a dialog from jEdit, the window is mapped for a split second and then resized to nearly 0x0.
This behavior is introduced with commit 0c7a76c (checked by reverting it). Of course, simply reverting it introduces the other issues (as given in #934).
Using [[http://www.jedit.org/index.php?page=download|jEdit]], this is can always be reproduced by using "Utilities -> Global Options".
Attached logfile is the part where the dialog is opened and rendered.
The text was updated successfully, but these errors were encountered:
Reply to _NET_REQUEST_FRAME_EXTENTS correctly
Reply to _NET_REQUEST_FRAME_EXTENTS by settings _NET_FRAME_EXTENTS
property of the window to widths of the respective borders added by i3.
fixes #1093
fixes #1069
[Originally reported by gentoo@…]
(When opening a dialog from jEdit, the window is mapped for a split second and then resized to nearly 0x0.
This behavior is introduced with commit 0c7a76c (checked by reverting it). Of course, simply reverting it introduces the other issues (as given in #934).
Using [[http://www.jedit.org/index.php?page=download|jEdit]], this is can always be reproduced by using "Utilities -> Global Options".
Attached logfile is the part where the dialog is opened and rendered.
The text was updated successfully, but these errors were encountered: