Updating branch refs/heads/master to 2d5fa307827a7b32af4f7b2ae0604f943e3a6e99 (commit) from 6f1b36eb6576e0abcfb160ec12075445b29c9c75 (commit)
commit 2d5fa307827a7b32af4f7b2ae0604f943e3a6e99 Author: John Lindgren <john.lindg...@aol.com> Date: Tue Aug 21 19:33:45 2012 -0400 Allow timer period to be set at 250ms resolution. Patch from Miguel Guedes. Closes: #9102. panel-plugin/config_gui.c | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) 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, _______________________________________________ Xfce4-commits mailing list Xfce4-commits@xfce.org https://mail.xfce.org/mailman/listinfo/xfce4-commits