GNOME Terminal

  1. Bug #1288655
  2. Comment #3

Comment 3 for bug 1288655

Revision history for this message
Michisteiner (michisteiner) wrote : Re: terminal gets smaller when maximized and then restored

this is a duplicate of bug 1233205. It seems it is fixed in 14.04 but not 13.10 ...