Actually, rather than reverting my terminals to 80x25, it swiftly crashes gnome-terminal. It doesn't do this every time, but if I play around with various terminal configurations (number of open windows, sizes, number of tabs), I can eventually make it segfault by editing the prefs as you suggest.
Here is a backtrace:
(gdb) bt
#0 terminal_window_update_geometry (window=0x0) at terminal-window.c:1954
#1 0x080708b4 in terminal_window_set_size_force_grid (window=0x0, screen=0x81040b8, even_if_mapped=1, force_grid_width=-1,
force_grid_height=-1) at terminal-window.c:1596
#2 0x08070a7f in terminal_window_set_size (window=0x0, screen=0x81040b8, even_if_mapped=1) at terminal-window.c:1572
#3 0x0806949d in terminal_screen_update_on_realize (term=0x80d2090, screen=0x81040b8) at terminal-screen.c:901
#4 0x080699d2 in terminal_screen_change_font (screen=0x81040b8) at terminal-screen.c:908
#5 0x08069c88 in terminal_screen_reread_profile (screen=0x81040b8) at terminal-screen.c:629
#6 0xb781300a in g_cclosure_marshal_VOID__POINTER () from /usr/lib/libgobject-2.0.so.0
#7 0xb7806759 in g_closure_invoke () from /usr/lib/libgobject-2.0.so.0
#8 0xb781ad1d in ?? () from /usr/lib/libgobject-2.0.so.0
#9 0x08107b48 in ?? ()
#10 0x00000000 in ?? ()
Actually, rather than reverting my terminals to 80x25, it swiftly crashes gnome-terminal. It doesn't do this every time, but if I play around with various terminal configurations (number of open windows, sizes, number of tabs), I can eventually make it segfault by editing the prefs as you suggest.
Here is a backtrace:
(gdb) bt window_ update_ geometry (window=0x0) at terminal- window. c:1954 window_ set_size_ force_grid (window=0x0, screen=0x81040b8, even_if_mapped=1, force_grid_ width=- 1, grid_height= -1) at terminal- window. c:1596 window_ set_size (window=0x0, screen=0x81040b8, even_if_mapped=1) at terminal- window. c:1572 screen_ update_ on_realize (term=0x80d2090, screen=0x81040b8) at terminal- screen. c:901 screen_ change_ font (screen=0x81040b8) at terminal- screen. c:908 screen_ reread_ profile (screen=0x81040b8) at terminal- screen. c:629 marshal_ VOID__POINTER () from /usr/lib/ libgobject- 2.0.so. 0 libgobject- 2.0.so. 0 libgobject- 2.0.so. 0
#0 terminal_
#1 0x080708b4 in terminal_
force_
#2 0x08070a7f in terminal_
#3 0x0806949d in terminal_
#4 0x080699d2 in terminal_
#5 0x08069c88 in terminal_
#6 0xb781300a in g_cclosure_
#7 0xb7806759 in g_closure_invoke () from /usr/lib/
#8 0xb781ad1d in ?? () from /usr/lib/
#9 0x08107b48 in ?? ()
#10 0x00000000 in ?? ()
(The other threads don't look interesting.)