Check if page_widget is a GTK_TABLE

This commit is contained in:
Moritz Lipp 2012-05-21 23:06:31 +02:00
parent 234ea6d323
commit d721721867

View file

@ -52,8 +52,10 @@ cb_page_padding_changed(girara_session_t* session, const char* UNUSED(name),
zathura_t* zathura = session->global.data;
int val = *(int*) value;
if (GTK_IS_TABLE(zathura->ui.page_widget) == TRUE) {
gtk_table_set_row_spacings(GTK_TABLE(zathura->ui.page_widget), val);
gtk_table_set_col_spacings(GTK_TABLE(zathura->ui.page_widget), val);
}
}
static void