godot-xterm/addons/godot_xterm/themes/fonts/regular.tres

[gd_resource type="DynamicFont" load_steps=2 format=2]

[ext_resource path="res://addons/godot_xterm/themes/fonts/hack/hack_regular-3.003.ttf" type="DynamicFontData" id=4]

[resource]
size = 14
extra_spacing_bottom = 1
font_data = ExtResource( 4 )
Add only Hack Regular font and default themes to archive Keeps the archive small and licensing simpler. Keep around the fancy fonts such as Noto Color Emoji and Unifont as they are useful for testing. With the xrdb import plugin making it easy to import themes, there is little point in keeping other pre-defined themes around, so remove these. 2021-07-21 17:15:06 +02:00			`[gd_resource type="DynamicFont" load_steps=2 format=2]`
Change default font and reduce size Changes default font from Cousine -> Hack which is the font used in Godot's script editor and output terminal. Also reduced the size from 16 -> 14. 2021-06-22 16:02:08 +02:00
Rename hack font files 2021-07-12 16:57:14 +02:00			`[ext_resource path="res://addons/godot_xterm/themes/fonts/hack/hack_regular-3.003.ttf" type="DynamicFontData" id=4]`
Change default font and reduce size Changes default font from Cousine -> Hack which is the font used in Godot's script editor and output terminal. Also reduced the size from 16 -> 14. 2021-06-22 16:02:08 +02:00
			`[resource]`
			`size = 14`
Add only Hack Regular font and default themes to archive Keeps the archive small and licensing simpler. Keep around the fancy fonts such as Noto Color Emoji and Unifont as they are useful for testing. With the xrdb import plugin making it easy to import themes, there is little point in keeping other pre-defined themes around, so remove these. 2021-07-21 17:15:06 +02:00			`extra_spacing_bottom = 1`
Change default font and reduce size Changes default font from Cousine -> Hack which is the font used in Godot's script editor and output terminal. Also reduced the size from 16 -> 14. 2021-06-22 16:02:08 +02:00			`font_data = ExtResource( 4 )`