Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Can't change font #84
Just downloaded extraterm and tried to change font. Every time I select another font, the combo changes back to DejaVu Sans Mono a fraction of a second later.
Version: extraterm-0.33.0-linux-x64 (interestingly, the "About" menu doesn't give the version number).
If you need any more info, let me know.