github/SharpIDE
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix terminal font

Browse Source
This commit is contained in:
Matt Parker
2025-09-13 10:57:45 +10:00
parent c94953e144
commit d4c26f0ad5
5 changed files with 79 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

65
src/SharpIDE.Godot/Features/TerminalBase/TerminalTheme.tres Normal file
View File

@@ -0,0 +1,65 @@
[gd_resource type="Theme" load_steps=4 format=3 uid="uid://bswaamju2blyt"]
[ext_resource type="FontVariation" uid="uid://vmgmcu8gc6nt" path="res://addons/godot_xterm/themes/fonts/regular.tres" id="1_7v0pk"]
[sub_resource type="StyleBoxFlat" id="StyleBoxFlat_bk23l"]
content_margin_left = 4.0
content_margin_top = 4.0
content_margin_right = 4.0
content_margin_bottom = 4.0
bg_color = Color(1, 1, 1, 0.75)
draw_center = false
border_width_left = 2
border_width_top = 2
border_width_right = 2
border_width_bottom = 2
corner_radius_top_left = 3
corner_radius_top_right = 3
corner_radius_bottom_right = 3
corner_radius_bottom_left = 3
corner_detail = 5
expand_margin_left = 2.0
expand_margin_top = 2.0
expand_margin_right = 2.0
expand_margin_bottom = 2.0
[sub_resource type="StyleBoxFlat" id="StyleBoxFlat_5srvn"]
content_margin_left = 4.0
content_margin_top = 4.0
content_margin_right = 4.0
content_margin_bottom = 4.0
bg_color = Color(0.1, 0.1, 0.1, 0.6)
border_width_bottom = 2
border_color = Color(0, 0, 0, 0.6)
corner_radius_top_left = 3
corner_radius_top_right = 3
corner_radius_bottom_right = 3
corner_radius_bottom_left = 3
corner_detail = 5
[resource]
Terminal/colors/ansi_0_color = Color(0, 0, 0, 1)
Terminal/colors/ansi_10_color = Color(0, 1, 0, 1)
Terminal/colors/ansi_11_color = Color(1, 1, 0, 1)
Terminal/colors/ansi_12_color = Color(0.360784, 0.360784, 1, 1)
Terminal/colors/ansi_13_color = Color(1, 0, 1, 1)
Terminal/colors/ansi_14_color = Color(0, 1, 1, 1)
Terminal/colors/ansi_15_color = Color(1, 1, 1, 1)
Terminal/colors/ansi_1_color = Color(0.803922, 0, 0, 1)
Terminal/colors/ansi_2_color = Color(0, 0.803922, 0, 1)
Terminal/colors/ansi_3_color = Color(0.803922, 0.803922, 0, 1)
Terminal/colors/ansi_4_color = Color(0, 0, 0.933333, 1)
Terminal/colors/ansi_5_color = Color(0.803922, 0, 0.803922, 1)
Terminal/colors/ansi_6_color = Color(0, 0.803922, 0.803922, 1)
Terminal/colors/ansi_7_color = Color(0.898039, 0.898039, 0.898039, 1)
Terminal/colors/ansi_8_color = Color(0.498039, 0.498039, 0.498039, 1)
Terminal/colors/ansi_9_color = Color(1, 0, 0, 1)
Terminal/colors/background_color = Color(0, 0, 0, 0)
Terminal/colors/foreground_color = Color(0.875, 0.875, 0.875, 1)
Terminal/font_sizes/font_size = 16
Terminal/fonts/bold_font = ExtResource("1_7v0pk")
Terminal/fonts/bold_italics_font = ExtResource("1_7v0pk")
Terminal/fonts/italics_font = ExtResource("1_7v0pk")
Terminal/fonts/normal_font = ExtResource("1_7v0pk")
Terminal/styles/focus = SubResource("StyleBoxFlat_bk23l")
Terminal/styles/normal = SubResource("StyleBoxFlat_5srvn")