Karl Tauber fb4576fc1b Linux: use X11 window manager events to move window and to show window menu (right-click on window title bar), if custom window decorations are enabled (issue #482)

2022-08-20 21:09:49 +02:00

..

main

Linux: use X11 window manager events to move window and to show window menu (right-click on window title bar), if custom window decorations are enabled (issue #482)

2022-08-20 21:09:49 +02:00