Ciemon reported two problems, only one of which was in gnome-system-
tools; the other is in gnome-panel's clock applet. I'm attaching a patch
which fixes its use of page_size in GtkAdjustments, and also fixes
similar obvious problems in the workspace-switcher applet and a similar
but rather more subtle problem in the panel properties dialog for good
measure. Sebastien, does this make sense to you?

** Also affects: gnome-panel (Ubuntu)
   Importance: Undecided
       Status: New

** Attachment added: "91_adjustment_page-size.patch"
   http://launchpadlibrarian.net/17714140/91_adjustment_page-size.patch

-- 
[time-admin] unable to manually adjust the clock past 13:49:49
https://bugs.launchpad.net/bugs/267892
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to