[Bug 1731489] Re: Extending a gnome terminal window to the right increases its height

2017-11-23 Thread David laight
Another related fubar.

If I create a terminal by right-clicking on the background then middle-click on 
the title bar puts the window to the bottom of the stack (as is configured 
somewhere).
If I create one with CTL+ALT+T then the middle-click is ignored.

Don't seem to be able to select the historic (back to sunview days?)
'raise if partially covered, back otherwise' action though.

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1731489

Title:
  Extending a gnome terminal window to the right increases its height

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1731489/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1731489] Re: Extending a gnome terminal window to the right increases its height

2017-11-22 Thread David laight
It seems that if you create a terminal window by typing CTRL+ALT+T everything 
is fine.
If you create one by right-clicking on the background and selecting 'Open 
terminal' the height changes.

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1731489

Title:
  Extending a gnome terminal window to the right increases its height

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1731489/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1733127] Re: Session crashes when monitor is disconnected

2017-11-21 Thread David laight
Not only does the user get logged out, but any daemon processes they've created 
(that ought to
stay active even after logout) also get killed.

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1733127

Title:
  Session crashes when monitor is disconnected

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1733127/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1731489] Re: Extending a gnome terminal window to the right increases its height

2017-11-20 Thread David laight
Looks like it is Wayland (today).
For some strange reason it is behaving itself today as well.

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1731489

Title:
  Extending a gnome terminal window to the right increases its height

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1731489/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1731489] Re: Extending a gnome terminal window to the right increases its height

2017-11-10 Thread David laight
It is a server install with IIRC the ubuntu-desktop package.
So I think it is Wayland - certainly rather different from the previous 
versions.

I can also confirm that setting PS1 to "$ " stops the size change.
So it is related to the title updates being done by the shell every time it 
sees SIGWINCH and then redisplays the prompt.

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1731489

Title:
  Extending a gnome terminal window to the right increases its height

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1731489/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1731489] [NEW] Extending a gnome terminal window to the right increases its height

2017-11-10 Thread David laight
Public bug reported:

I've just installed Ubuntu 17.10.

If I 'grab' the right border of a gnome terminal window in order to resize it 
(to unwrap long lines) the height of the window changes as well.
This is not desirable.

** Affects: gnome-terminal (Ubuntu)
 Importance: Undecided
 Status: New

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1731489

Title:
  Extending a gnome terminal window to the right increases its height

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1731489/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs