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