[Bug 227664] Re: gnome-terminal dies on creation of a new profile

2008-10-16 Thread Stephan Henningsen
gnome-terminal --name foo immediately shoots all gnome-terminal instances. Is this linked with this? I can't find --name in the man page of gnome-terminal, but it's in the man page of gnome: --name=NAME Program name as used by the window manager I'm running: Ubuntu 8.04.1

[Bug 1612618] [NEW] Eog overlays for navigation and rotation are cluttering the image begin displayed

2016-08-12 Thread Stephan Henningsen
Public bug reported: (I've recently upgraded from Ubuntu 14.04 to 16.04) Test case: 1) Open image in eog. 2) Move mouse pointer around 3) Frustrating and useless hint overlays for nativation prev/next and rotate cw/ccw keep appearing and disappearing and clutter up my view of the image I'm

[Bug 1620743] [NEW] VPN connetion failed

2016-09-06 Thread Stephan Henningsen
Public bug reported: When I deliberately disconnect from VPN using Network Indicator > VPN > Disconnect VPN I see a notification saying "VPN connection failed". But nothing has failed. Correct wording should be used e.g. "Disconnected from VPN". ** Affects: tracker (Ubuntu) Importance:

[Bug 1812780] Re: Gnome Shell crashes with SIGSEGV when Android emulator started

2019-02-11 Thread Stephan Henningsen
*** This bug is a duplicate of bug 1812527 *** https://bugs.launchpad.net/bugs/1812527 This is really getting a big problem since I cannot use the emulator for my daily work. Is there anything I can do to help debug this? It is quite easy to reproduce as it happens every time I switch

[Bug 1812780] Re: Gnome Shell crashes with SIGSEGV when Android emulator started

2019-02-11 Thread Stephan Henningsen
*** This bug is a duplicate of bug 1812527 *** https://bugs.launchpad.net/bugs/1812527 I see this bug has been marked as a duplicate; ignore my post, sorry. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gjs in Ubuntu.

[Bug 299330] Re: Alt+Tab - switching applications delay. slow

2021-04-29 Thread Stephan Henningsen
This is still a problem on Ubuntu 20.04. Since it uses a completely different desktop environment, the bug probably has a different root cause, but the annoying user experience is exactly the same. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is