chiark
/
gitweb
/
~ian
/
ian-dotfiles.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4201791
)
gitk: generate differnt fonts on zealot
author
Ian Jackson
<ian.jackson@eu.citrix.com>
Fri, 10 Jun 2016 18:05:22 +0000
(19:05 +0100)
committer
Ian Jackson
<Ian.Jackson@eu.citrix.com>
Fri, 10 Jun 2016 18:05:22 +0000
(19:05 +0100)
templates/gitk.in
patch
|
blob
|
history
diff --git
a/templates/gitk.in
b/templates/gitk.in
index d37875edf5899f3cff46c98fe1ad5ad2e2ca6e49..242ab793d2953f42ceef1d35803d51ef0468ee3a 100755
(executable)
--- a/
templates/gitk.in
+++ b/
templates/gitk.in
@@
-2,10
+2,24
@@
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}
+END
+ ;;
+esac
+
+cat <<END
set tabstop 8
set findmergefiles 0
set maxgraphpct 50