Good to see it's fixed..
I was just about to report it, because now i'm able to reproduce this.
This bug happens when you have multiple gnome-terminal's opened. And *if* you close one *window* (and not exit the shell), and afterwards you change a profile setting... then the crash happens.
Good to see it's fixed..
I was just about to report it, because now i'm able to reproduce this.
This bug happens when you have multiple gnome-terminal's opened. And *if* you close one *window* (and not exit the shell), and afterwards you change a profile setting... then the crash happens.
Hope this is fix is in ubuntu soon..