> Functionally it works well, besides the issue you mention when dragging.
> There's just one small glitch that I sometimes notice with gnome-terminal
> windows: they don't un-maximize to the same size they were before randomly.
> But i have not seen any other app do that, so it might be some other weird
> quirk of gnome-terminal.
This is a known issue (bug #684958), I don’t think it is related to Michał’s work.
> Functionally it works well, besides the issue you mention when dragging.
> There's just one small glitch that I sometimes notice with gnome-terminal
> windows: they don't un-maximize to the same size they were before randomly.
> But i have not seen any other app do that, so it might be some other weird
> quirk of gnome-terminal.
This is a known issue (bug #684958), I don’t think it is related to Michał’s work.
BTW, hey Michał!