Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- diff --git a/panel-plugin/config_gui.c b/panel-plugin/config_gui.c
- index a4c891d..90e55c1 100644
- --- a/panel-plugin/config_gui.c
- +++ b/panel-plugin/config_gui.c
- @@ -106,8 +106,8 @@ int genmon_CreateConfigGUI (GtkWidget *vbox1,
- gtk_widget_show (alignment1);
- gtk_container_add (GTK_CONTAINER (eventbox1), alignment1);
- - wSc_Period_adj = gtk_adjustment_new (15, 1, 60*60*24, 1, 1, 0);
- - wSc_Period = gtk_spin_button_new (GTK_ADJUSTMENT (wSc_Period_adj), 1, 0);
- + wSc_Period_adj = gtk_adjustment_new (15, .25, 60*60*24, .25, 1, 0);
- + wSc_Period = gtk_spin_button_new (GTK_ADJUSTMENT (wSc_Period_adj), .25, 2);
- gtk_widget_show (wSc_Period);
- gtk_container_add (GTK_CONTAINER (alignment1), wSc_Period);
- gtk_tooltips_set_tip (tooltips, wSc_Period,
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement