| .. |
|
DroidSansFallback.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
DroidSansJapanese.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
JetBrainsMono_Regular.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
LICENSE.DroidSans.txt
|
Reorder the folders in tools to prepare moving tools/editor
|
2017-02-09 00:08:27 +01:00 |
|
LICENSE.JetBrainsMono.txt
|
Use JetBrains Mono as the editor's default code font
|
2022-01-05 01:35:50 +01:00 |
|
LICENSE.Noto.txt
|
Replace editor font to NotoSans for Latin, Arabic, Hebrew, Thai
|
2017-08-31 21:49:48 +09:00 |
|
NotoNaskhArabicUI_Bold.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoNaskhArabicUI_Regular.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSans_Bold.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSans_Regular.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansBengaliUI_Bold.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansBengaliUI_Regular.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansDevanagariUI_Bold.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansDevanagariUI_Regular.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansGeorgian_Bold.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansGeorgian_Regular.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansHebrew_Bold.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansHebrew_Regular.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansMalayalamUI_Bold.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansMalayalamUI_Regular.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansOriyaUI_Bold.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansOriyaUI_Regular.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansSinhalaUI_Bold.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansSinhalaUI_Regular.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansTamilUI_Bold.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansTamilUI_Regular.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansTeluguUI_Bold.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansTeluguUI_Regular.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansThaiUI_Bold.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
NotoSansThaiUI_Regular.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
|
OpenSans_SemiBold.woff2
|
Convert the editor and default theme fonts to WOFF2 format to save space.
|
2022-03-25 11:45:55 +02:00 |
