/* Don't save the paned position if it's not visible,
* because it could not be correct: */
if (GTK_WIDGET_REALIZED (GTK_WIDGET (paned))) {
pos = gtk_paned_get_position (paned);
/* Don't save the paned position if it's not visible,
* because it could not be correct: */
if (GTK_WIDGET_REALIZED (GTK_WIDGET (paned))) {
pos = gtk_paned_get_position (paned);