Code

git-gui: Attach font_ui to all spinbox widgets
authorShawn O. Pearce <spearce@spearce.org>
Sat, 2 Jun 2007 21:18:46 +0000 (17:18 -0400)
committerShawn O. Pearce <spearce@spearce.org>
Sat, 2 Jun 2007 23:56:27 +0000 (19:56 -0400)
Earlier I missed making sure our spinbox widgets used the same font
as the other widgets around them.  This meant that using a main font
with a size of 20 would make every widget in the options dialog huge,
but the spinboxes would be left with whatever the OS native font is.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui.sh

index a8185a3014d4f10f11efe9ff7b917b89fc07cf03..daee5601b19411e3749f9bcdc36bce6ce23b224d 100755 (executable)
@@ -1205,7 +1205,7 @@ font create font_diffbold
 
 foreach class {Button Checkbutton Entry Label
                Labelframe Listbox Menu Message
-               Radiobutton Text} {
+               Radiobutton Spinbox Text} {
        option add *$class.font font_ui
 }
 unset class