chiark
/
gitweb
/
~ian
/
ian-dotfiles.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
gitk: generate differnt fonts on zealot
[ian-dotfiles.git]
/
templates
/
gitk.in
diff --git
a/templates/gitk.in
b/templates/gitk.in
index 049d66c29218bbdcfed3c103b2515e91f842e982..242ab793d2953f42ceef1d35803d51ef0468ee3a 100755
(executable)
--- a/
templates/gitk.in
+++ b/
templates/gitk.in
@@
-2,10
+2,24
@@
set -e
. infra/template
set -e
. infra/template
-cat <<END
+case "$font" in
+zealot)
+ cat <<END
+set mainfont {Helvetica 14}
+set textfont {Courier 14}
+set uifont {Helvetica 14 bold}
+END
+ ;;
+*)
+ cat <<END
set mainfont {{Bitstream Vera Sans} 8}
set textfont fixed
set uifont {Helvetica 9 bold}
set mainfont {{Bitstream Vera Sans} 8}
set textfont fixed
set uifont {Helvetica 9 bold}
+END
+ ;;
+esac
+
+cat <<END
set tabstop 8
set findmergefiles 0
set maxgraphpct 50
set tabstop 8
set findmergefiles 0
set maxgraphpct 50
@@
-30,13
+44,5
@@
set diffcontext 3
set selectbgcolor gray85
set extdifftool meld
set perfile_attrs 0
set selectbgcolor gray85
set extdifftool meld
set perfile_attrs 0
-set geometry(main) 959x1054+535+86
-set geometry(state) normal
-set geometry(topwidth) 959
-set geometry(topheight) 422
-set geometry(pwsash0) "619 1"
-set geometry(pwsash1) "838 1"
-set geometry(botwidth) 669
-set geometry(botheight) 627
set permviews {}
END
set permviews {}
END