GNOME Bugzilla – Bug 631799
Remove even_if_mapped parameter to terminal_window_set_size()
Last modified: 2010-10-11 19:54:56 UTC
The even_if_mapped parameter to terminal_window_set_size() and terminal_window_set_size_force_grid() doesn't have any useful role any more. The original reason it was added is lost to history, but it may had a residual role of making sure that the the size set by terminal_window_set_size() didn't override a default size set by gtk_window_parse_geometry(). With the better handling of geometry from bug 592435, this is no longer necessary.
Created attachment 172035 [details] [review] Remove even_if_mapped parameter to terminal_window_set_size()
Tested with GTK+ 2 and GTK+ 3 by: - Starting default options - Starting with --geometry - DND detaching tabs - Switch between tabs with different font sizes All seems to work properly. And certainly from a theoretical point of view I expect this to work right, though it's admittedly a fiddly area.
Comment on attachment 172035 [details] [review] Remove even_if_mapped parameter to terminal_window_set_size() Pushed