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:
cc5eaa6
)
gitk: remove crappy fonts
author
Ian Jackson
<ian.jackson@eu.citrix.com>
Fri, 10 Jun 2016 18:08:40 +0000
(19:08 +0100)
committer
Ian Jackson
<Ian.Jackson@eu.citrix.com>
Fri, 10 Jun 2016 18:08:40 +0000
(19:08 +0100)
templates/gitk.in
patch
|
blob
|
history
diff --git
a/templates/gitk.in
b/templates/gitk.in
index 7cc2d2354560d50f261fec5d6a1efb6f0f12a608..3e352e2d243197a5c21c8c6bf1fa168648f73e25 100755
(executable)
--- a/
templates/gitk.in
+++ b/
templates/gitk.in
@@
-12,9
+12,6
@@
END
;;
*)
cat <<END
;;
*)
cat <<END
-set mainfont {{Bitstream Vera Sans} 8}
-set textfont fixed
-set uifont {Helvetica 9 bold}
END
;;
esac
END
;;
esac