230 |
save_windowsize_and_cleanup (void) |
save_windowsize_and_cleanup (void) |
231 |
{ |
{ |
232 |
gint i; |
gint i; |
233 |
GtkWidget *bandoptionmenu, *modeoptionmenu, *handlebox; |
GtkWidget *bandoptionmenu, *modeoptionmenu, *handlebox, *hpaned; |
234 |
|
|
235 |
/* free the dxcc array */ |
/* free the dxcc array */ |
236 |
cleanup_dxcc (); |
cleanup_dxcc (); |
274 |
preferences.b4width = 500; |
preferences.b4width = 500; |
275 |
preferences.b4height = 300; |
preferences.b4height = 300; |
276 |
} |
} |
277 |
|
|
278 |
|
hpaned = lookup_widget (mainwindow, "hpaned"); |
279 |
|
preferences.handlebarpos = gtk_paned_get_position (GTK_PANED(hpaned)); |
280 |
|
|
281 |
savepreferences (); |
savepreferences (); |
282 |
savehistory (); |
savehistory (); |
283 |
|
|