Kovid Goyal 277f43aed6 Linux: Disable the Wayland backend on GNOME ...

GNOME has no support for server side decorations.
Can be controlled by new option linux_display_server.

2019-06-04 19:10:13 +05:30

..

__init__.py

A new kitten to draw dock panels on X11 desktops showing the output from running arbitrary terminal programs

2018-06-02 11:27:01 +05:30

main.py

Linux: Disable the Wayland backend on GNOME

2019-06-04 19:10:13 +05:30