1
0
mirror of https://github.com/git/git.git synced 2025-04-22 00:36:12 +00:00

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>
This commit is contained in:
Shawn O. Pearce 2007-04-28 23:14:08 -04:00
parent 2739291b77
commit 7416bbc65c

File diff suppressed because it is too large Load Diff