(i know that isnt' helpful, but this bug is so annoying to me, and it seems likely to be annoying to even normal users who hit maximize of a terminal and then try to un-maximize it).
(i know that isnt' helpful, but this bug is so annoying to me, and it seems likely to be annoying to even normal users who hit maximize of a terminal and then try to un-maximize it).