chiark / gitweb /
dot/putty-defaults: Use client-side `Fixed' font.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 16 Jul 2018 13:16:26 +0000 (14:16 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 16 Jul 2018 13:16:50 +0000 (14:16 +0100)
commit26819a41655bfd88bebd25ee85be2fea318f822a
tree5f649e72148272e0e0d3f7e2a21252e92bfeccc9
parenta58a42273e2fc34e9c5c4acce337636d73a572e5
dot/putty-defaults: Use client-side `Fixed' font.

It makes redraw considerably faster.
dot/putty-defaults