[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-10-24 Thread wastrel
I'm seeing this problem when using tabs in the gnome terminal window as well, the window resizes itself to preserve the terminal height in rows while accomodating the tab UI in the X window. When you close tabs the tab UI disappears and the window resizes again. This behavior sometimes works & so

[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-10-21 Thread wastrel
The dimensions of the terminal in characters should be preserved, the size of the window in pixels should increase or decrease proportional to the font size as font size is changed. This worked perfectly in gnome2, it is spastic in 12.10 unity. Thanks for the attention to the problem. -- You re

[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-04-08 Thread RobinMHolt
I have tried this on every possible login session I can find and the only one that fails is the default Ubuntu session. If I log in using the Ubuntu 2D session, it works there. This absolutely can not be a gnome-terminal bug. -- You received this bug notification because you are a member of U

[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-03-30 Thread RobinMHolt
Yes, but I believe there is a misunderstanding. I am not saying there is a problem with the window getting larger on the screen, I am saying that changing font size changes the number of rows and columns of characters in the newly resized windows. If I start with an 80x25 sized window, then decre

[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-03-30 Thread Thomas Thurman
I've just tested this under IceWM and I can confirm that changing the font size in gnome-terminal still resizes the window. Reporter, are you still getting this behaviour? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.la

[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-03-21 Thread Thomas Thurman
I assure you, I don't want to let this bug vanish. I didn't realise when I reassigned it that it behaves differently under IceWM. I'll do some more testing tonight if I can (sorry, time is squeezed at the moment because I'm rehearsing for a concert next week). I'll let you know what I find and reas

[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-03-21 Thread RobinMHolt
After testing with XFCE and ICEWM, I am convinced that this problem is unlikely to be gnome-terminal and almost certainly the window manager. I looked at the mapped files via /proc//smaps for all three flavors of window managers and the only differences were related to font and sounds/notifications

[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-03-20 Thread RobinMHolt
I know _NOTHING_ about window manager calls, but why is this only affecting compiz/unity. On the same box, I can start a gnome-terminal under icewm and increase or decrease font size all day long without an issue. Are you saying that gnome-terminal is calling terminal_window_set_size_force_grid()

[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-03-20 Thread Thomas Thurman
Not a WM problem. gnome-terminal does this deliberately through terminal_window_set_size_force_grid(). ** Also affects: gnome-terminal Importance: Undecided Status: New ** Changed in: compiz-core Status: Confirmed => Invalid ** Changed in: unity Status: Confirmed => Inval

[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-03-20 Thread Thomas Thurman
Probably not the WM, but I suppose it's not impossible; I'll try to look into it this evening and report back. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/960084 Title: changing font size in gnome

[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-03-20 Thread RobinMHolt
If the window has the dimensions of 80 columns by 25 rows, I change the font size down and up a couple steps ending back at the original size and now my window has dimensions of 68x22, which component is likely to be the source of the problem. I assumed window manager, but I do not know how things

[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-03-20 Thread Thomas Thurman
I haven't investigated, but I assume you have; why do you think this is a window manager problem? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/960084 Title: changing font size in gnome-terminal cha

[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-03-20 Thread Omer Akram
** Changed in: unity (Ubuntu) Importance: Undecided => Low ** Changed in: unity (Ubuntu) Status: New => Confirmed ** Also affects: unity Importance: Undecided Status: New ** Also affects: compiz-core Importance: Undecided Status: New ** Changed in: compiz-core

[Bug 960084] Re: changing font size in gnome-terminal changes window dimensions.

2012-03-20 Thread RobinMHolt
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/960084 Title: changing font size in gnome-terminal changes window dimensions. To manage notifications about this bug go to: https://bugs.launchpad.net/u