From: Shawn O. Pearce <spearce@spearce.org>
Date: Sat, 2 Jun 2007 21:18:46 +0000 (-0400)
Subject: git-gui: Attach font_ui to all spinbox widgets
X-Git-Tag: gitgui-0.7.3~41
X-Git-Url: https://git.tokkee.org/?a=commitdiff_plain;h=6309172ea56294d08674cf35df92d6a3fa695480;p=git.git

git-gui: Attach font_ui to all spinbox widgets

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>
---

diff --git a/git-gui.sh b/git-gui.sh
index a8185a301..daee5601b 100755
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -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