+void update_layout()
+{
+ int layout;
+
+ layout = g_settings_get_int(settings, "layout");
+
+ switch (layout) {
+ case 1:
+ gtk_orientable_set_orientation(GTK_ORIENTABLE(w_panel),
+ GTK_ORIENTATION_HORIZONTAL);
+ break;
+ case 0:
+ default:
+ gtk_orientable_set_orientation(GTK_ORIENTABLE(w_panel),
+ GTK_ORIENTATION_VERTICAL);
+ }
+}
+