Nice to hear, that is fixed in 17.10 already. Well, I've just read many discussion on this topic. For example MPV issue: https://github.com/mpv- player/mpv/issues/139 windows has no border. It seems for me, projects like mpv waiting for some server side window decoration to be done, instead of implementing in client side for every possible application (and for being realistic, I feel it's a better option anyway, or well "more realistic"), thus the issue is "wontfix". Surely, gnome-terminal may be different being a gtk3 app, may be handled at gtk3 level for this issue? As far as I know at least, wayland makes it possible to provide 'server side decorations' more like the classic X11 window manager scenario. And the last comment on that issue is funny: "In two years, every compositor will be able to draw server-side decorations." (so "wontfix" ...). Ok, I was kinda off-topic now, sorry about that. Now I am more involved with gnome-terminal at least ... Thanks for the info, that 17.10 seems to solve this issue at least!
** Bug watch added: github.com/mpv-player/mpv/issues #139 https://github.com/mpv-player/mpv/issues/139 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1704360 Title: Cannot resize gnome-terminal window in gnome wayland session with mouse To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1704360/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
