summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 160e822)
raw | patch | inline | side by side (parent: 160e822)
author | Shawn O. Pearce <spearce@spearce.org> | |
Sat, 2 Jun 2007 21:18:46 +0000 (17:18 -0400) | ||
committer | Shawn 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>
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 | patch | blob | history |
diff --git a/git-gui.sh b/git-gui.sh
index a8185a3014d4f10f11efe9ff7b917b89fc07cf03..daee5601b19411e3749f9bcdc36bce6ce23b224d 100755 (executable)
--- a/git-gui.sh
+++ b/git-gui.sh
foreach class {Button Checkbutton Entry Label
Labelframe Listbox Menu Message
- Radiobutton Text} {
+ Radiobutton Spinbox Text} {
option add *$class.font font_ui
}
unset class