From b5f88b1efc0c2c89b7431697fa4a9d1e293223b9 Mon Sep 17 00:00:00 2001 From: Hugo Locurcio Date: Thu, 13 Feb 2020 23:55:19 +0100 Subject: 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 . This also reorders the third-party font notices to be in alphabetical order. --- COPYRIGHT.txt | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) (limited to 'COPYRIGHT.txt') 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. -- cgit v1.2.3