Bug#439266: openbox: ToggleMaximizeHorz + ToggleMaximizeFull and gnome-terminal gets stuck maximized

[althaser]

Hey,

Could you please try to reproduce this issue with newer version of
gnome-terminal like 3.4.1.1-2 or 3.10.1-1 ?

thanks
regards
althaser
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20140217/e35defff/attachment.html>