diff options
| author |  Shawn O. Pearce <spearce@spearce.org> | 2007-06-02 17:18:46 -0400 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2007-06-02 19:56:27 -0400 |
| commit | 6309172ea56294d08674cf35df92d6a3fa695480 (patch) | |
| tree | 6bb0c8366617b30eb0ed6d77f6b40eb0d912af7c /git-gui.sh | |
| parent | git-gui: Don't quit when we destroy a child widget (diff) | |
| download | tgif-6309172ea56294d08674cf35df92d6a3fa695480.tar.xz | |
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>
Diffstat (limited to 'git-gui.sh')
| -rwxr-xr-x | git-gui.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-gui.sh b/git-gui.sh index a8185a3014..daee5601b1 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 |