Gerenciador de janelas para GNOME com patch de escalonamento fracionário X11
