1
0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-21 13:28:05 +01:00
Files
wmaker/src
Gaspar Chilingarov 6668715402 Detect and override illegal window size hints
The problem - when VirtualBox starts virtual machine, window has very
small height (couple of pixels) and it requires some manual fiddling
to resize it to something usable.

See related bugs here:

https://www.virtualbox.org/ticket/14718#comment:19 - small horizontal
line in the middle of the screen is newly opened virtual machine's
window.

https://www.virtualbox.org/ticket/15863

Inspecting with xdebug and xprop reveals that VirtualBox sends wrong hints:

Request(12): ConfigureWindow window=0x0660000a values={x=27 y=559
width=720 height=65512}

Which is interpreted by X server wrongly and shown with xprop as

WM_NORMAL_HINTS(WM_SIZE_HINTS)
:
                user specified location: 27, 559
                user specified size: 720 by -24
                program specified minimum size: 254 by 109
                window gravity: Static

Some part of X11 interprets such large value as signed int and wraps
it to negative value.

The solution will be if program requests such big window - detect it,
ignore requested size and resize it to some reasonable defaults.

Disclaimer - I tested it only on Ubuntu 16.04, but should apply to
another systems as well - see bug reports.
2018-05-21 13:02:22 +01:00
..
2015-08-25 15:42:06 +01:00
2016-01-17 22:54:49 -05:00
2013-05-26 19:48:00 +01:00
2010-09-11 17:32:57 +02:00
2017-09-14 21:08:26 +02:00
2016-01-17 22:54:49 -05:00
2010-09-11 17:32:57 +02:00
2013-06-10 22:34:59 +01:00
2015-08-23 22:08:30 +01:00
2015-08-23 22:08:30 +01:00
2016-01-21 08:52:36 -05:00
2016-01-21 08:52:36 -05:00
2013-05-26 19:48:00 +01:00
2013-05-26 19:48:00 +01:00
2013-05-26 19:48:00 +01:00
2012-04-04 19:44:40 +01:00
2012-06-24 12:30:17 +01:00
2016-01-17 22:54:49 -05:00
2016-01-17 22:54:49 -05:00
2012-11-19 00:12:46 +01:00
2016-01-17 22:54:49 -05:00
2013-05-26 19:48:00 +01:00
2013-05-26 19:48:00 +01:00
2016-01-17 22:54:49 -05:00
2013-05-26 19:48:00 +01:00
2014-08-29 12:43:50 +01:00
2014-08-15 01:08:23 +01:00
2016-01-17 22:54:49 -05:00