diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-02-13 23:55:19 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-01-05 01:35:50 +0100 |
| commit | b5f88b1efc0c2c89b7431697fa4a9d1e293223b9 (patch) | |
| tree | 4ea622198d1058ae0395b40fc20fb294dcd4a814 /COPYRIGHT.txt | |
| parent | e45a1c05dcdcc2f294ff5edc8aa7b42464147028 (diff) | |
Use JetBrains Mono as the editor's default code font
This recently released font has been gaining popularity thanks to
its readability and aesthetics. It also features font ligatures
(enabled by default, but can be disabled in the Editor Settings).
Its character set isn't as extensive as Hack's, but it should be
sufficient for most uses.
More information at <https://www.jetbrains.com/lp/mono/>.
This also reorders the third-party font notices to be in
alphabetical order.
Diffstat (limited to 'COPYRIGHT.txt')
| -rw-r--r-- | COPYRIGHT.txt | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/COPYRIGHT.txt b/COPYRIGHT.txt index b649a36de3..e5210be792 100644 --- a/COPYRIGHT.txt +++ b/COPYRIGHT.txt @@ -171,17 +171,16 @@ Comment: DroidSans font Copyright: 2008, The Android Open Source Project License: Apache-2.0 +Files: ./thirdparty/fonts/JetBrainsMono_Regular.ttf +Comment: JetBrains Mono font +Copyright: 2020, JetBrains s.r.o. +License: OFL-1.1 + Files: ./thirdparty/fonts/NotoSans*.ttf Comment: Noto Sans font Copyright: 2012, Google Inc. License: OFL-1.1 -Files: ./thirdparty/fonts/Hack_Regular.ttf -Comment: Hack font -Copyright: 2018, Source Foundry Authors - 2003, Bitstream Inc. -License: Expat and Bitstream Vera Fonts Copyright - Files: ./thirdparty/freetype/ Comment: The FreeType Project Copyright: 1996-2020, David Turner, Robert Wilhelm, and Werner Lemberg. |