chiark / gitweb /
gitk: remove crappy fonts
authorIan Jackson <ian.jackson@eu.citrix.com>
Fri, 10 Jun 2016 18:08:40 +0000 (19:08 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Fri, 10 Jun 2016 18:08:40 +0000 (19:08 +0100)
templates/gitk.in

index 7cc2d2354560d50f261fec5d6a1efb6f0f12a608..3e352e2d243197a5c21c8c6bf1fa168648f73e25 100755 (executable)
@@ -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