summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorShawn O. Pearce <spearce@spearce.org>2007-06-02 21:18:46 (GMT)
committerShawn O. Pearce <spearce@spearce.org>2007-06-02 23:56:27 (GMT)
commit6309172ea56294d08674cf35df92d6a3fa695480 (patch)
tree6bb0c8366617b30eb0ed6d77f6b40eb0d912af7c
parent160e82284eda034fea84dcc946f9c1965176f25f (diff)
downloadgit-6309172ea56294d08674cf35df92d6a3fa695480.zip
git-6309172ea56294d08674cf35df92d6a3fa695480.tar.gz
git-6309172ea56294d08674cf35df92d6a3fa695480.tar.bz2
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>
-rwxr-xr-xgit-gui.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/git-gui.sh b/git-gui.sh
index a8185a3..daee560 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