-void ui_window_update(struct ui_psensor *ui)
-{
- struct config *cfg;
-
- log_debug("ui_window_update()");
-
- cfg = ui->config;
-
- if (cfg->window_restore_enabled)
- gtk_paned_set_position(GTK_PANED(w_sensor_box),
- cfg->window_divider_pos);
-
-}
-