author | Shawn O. Pearce <spearce@spearce.org> | |
Sun, 29 Apr 2007 03:14:08 +0000 (23:14 -0400) | ||
committer | Shawn O. Pearce <spearce@spearce.org> | |
Wed, 2 May 2007 17:06:10 +0000 (13:06 -0400) | ||
commit | 7416bbc65cbcc3db9cafe50b92c14193ac295dbe | |
tree | dcfbb8c706c705f500cf32cae4857c7b5d72f0ef | tree | snapshot |
parent | 2739291b77fefe7cfae16481756716f11a01e654 | commit | diff |
git-gui: Use option database defaults to set the font
Rather than passing "-font font_ui" to every widget that we
create we can instead reconfigure the option database for
all widget classes to use our font_ui as the default widget
font. This way Tk will automatically setup their defaults
for us, and we can reduce the size of the application.
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Rather than passing "-font font_ui" to every widget that we
create we can instead reconfigure the option database for
all widget classes to use our font_ui as the default widget
font. This way Tk will automatically setup their defaults
for us, and we can reduce the size of the application.
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui.sh | diff | blob | history |