[Bug 1448563] Re: terminal won't launch with a customized locale

2015-05-15 Thread Simon K
I also encountered this problem (gnome-terminal not launching) and in my case the problem was an invalid $HOME/.pam_environment file from a previous OS installation. Xterm worked fine. Removing the .pam_environment file fixed the problem; putting it back triggered the problem again. Debian 8 does

[Bug 1195867] Re: codeblocks crashed with SIGABRT in g_type_check_instance_cast()

2013-09-15 Thread Simon K
It seems like wxITEM_RADIO isn't compatible with Ubuntu? I've recompiled the whole code-blocks (codeblocks-12.11release8629 as download able on the official site) and commented out every line with AppendRadioItem in it. Build the source via: $ ./configure --prefix /usr --with-contrib-plugins=all

[Bug 1104788] Re: gnome-terminal resizes itself unless on the first tab is activated

2013-03-03 Thread Simon K
*** This bug is a duplicate of bug 1040885 *** https://bugs.launchpad.net/bugs/1040885 ** This bug is no longer a duplicate of bug 1102630 gnome-terminal resizes itself when I click away ** This bug has been marked a duplicate of bug 1040885 gnome-terminal auto-restores its size --

[Bug 1102635] Re: Terminal does not stay resized

2013-03-03 Thread Simon K
*** This bug is a duplicate of bug 1040885 *** https://bugs.launchpad.net/bugs/1040885 ** This bug is no longer a duplicate of bug 1102630 gnome-terminal resizes itself when I click away ** This bug has been marked a duplicate of bug 1040885 gnome-terminal auto-restores its size --

[Bug 1102630] Re: gnome-terminal resizes itself when I click away

2013-03-03 Thread Simon K
*** This bug is a duplicate of bug 1040885 *** https://bugs.launchpad.net/bugs/1040885 ** This bug has been marked a duplicate of bug 1040885 gnome-terminal auto-restores its size -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed

[Bug 1071295] Re: gnome-terminal resize problem with multiple tabs

2013-03-03 Thread Simon K
*** This bug is a duplicate of bug 1040885 *** https://bugs.launchpad.net/bugs/1040885 ** This bug has been marked a duplicate of bug 1040885 gnome-terminal auto-restores its size -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed