chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8984804) | patch
Change monospace font to DejaVu Sans
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 12 Jun 2022 22:37:46 +0000 (23:37 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 12 Jun 2022 22:37:46 +0000 (23:37 +0100)
commit5a20c0181b605aed14fd5f22043726cd99085822
treeeb073b508332c08ec2b156edc51cb650ea16bb30tree | snapshot
parent8984804f6c4db36ffb9ec8dfaaf7870f9e153541commit | diff
Change monospace font to DejaVu Sans

A user reported that the specified font wasn't available and they got
somthing that misrendered in the clock.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/ui.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.