reassign 932375 mutter severity 932375 wishlist thanks
Reassign reason: as suggested by Sven, the issue is apparently more related to the window/display manager rather than to UXTerm itself, cf. http://gitlab.gnome.org/GNOME/mutter/issues/677
reassign 932375 mutter severity 932375 wishlist thanks
Reassign reason: as suggested by Sven, the issue is apparently more related to the window/display manager rather than to UXTerm itself, cf. http://gitlab.gnome.org/GNOME/mutter/issues/677