2023-01-08 09:35:18 +01:00
|
|
|
[gd_resource type="Theme" load_steps=2 format=3 uid="uid://0gk8swmcldbg"]
|
2021-06-18 05:17:48 +02:00
|
|
|
|
2023-01-08 09:35:18 +01:00
|
|
|
[ext_resource type="FontFile" uid="uid://dhmyegcx24dpo" path="res://addons/godot_xterm/themes/fonts/regular.tres" id="1"]
|
2021-06-18 05:17:48 +02:00
|
|
|
|
|
|
|
|
[resource]
|
2023-01-08 09:35:18 +01:00
|
|
|
default_font = ExtResource("1")
|
|
|
|
|
Terminal/colors/ansi_0_color = Color(0, 0, 0, 1)
|
|
|
|
|
Terminal/colors/ansi_10_color = Color(0.258824, 1, 0.760784, 1)
|
|
|
|
|
Terminal/colors/ansi_11_color = Color(1, 0.92549, 0.627451, 1)
|
|
|
|
|
Terminal/colors/ansi_12_color = Color(0.737255, 0.878431, 1, 1)
|
|
|
|
|
Terminal/colors/ansi_13_color = Color(0.807843, 0.643137, 0.945098, 1)
|
|
|
|
|
Terminal/colors/ansi_14_color = Color(0.776471, 1, 0.929412, 1)
|
|
|
|
|
Terminal/colors/ansi_15_color = Color(1, 1, 1, 1)
|
|
|
|
|
Terminal/colors/ansi_1_color = Color(1, 0.47, 0.42, 1)
|
|
|
|
|
Terminal/colors/ansi_2_color = Color(0.388235, 0.760784, 0.34902, 1)
|
|
|
|
|
Terminal/colors/ansi_3_color = Color(1, 0.866667, 0.396078, 1)
|
|
|
|
|
Terminal/colors/ansi_4_color = Color(0.341176, 0.698039, 1, 1)
|
|
|
|
|
Terminal/colors/ansi_5_color = Color(0.623529, 0.439216, 1, 1)
|
|
|
|
|
Terminal/colors/ansi_6_color = Color(0.4, 0.901961, 1, 1)
|
|
|
|
|
Terminal/colors/ansi_7_color = Color(0.8, 0.807843, 0.827451, 1)
|
|
|
|
|
Terminal/colors/ansi_8_color = Color(0.462745, 0.47451, 0.509804, 1)
|
|
|
|
|
Terminal/colors/ansi_9_color = Color(1, 0.439216, 0.521569, 1)
|
|
|
|
|
Terminal/colors/background_color = Color(0.12549, 0.145098, 0.192157, 1)
|
|
|
|
|
Terminal/colors/foreground_color = Color(0.8, 0.807843, 0.827451, 1)
|
|
|
|
|
Terminal/font_sizes/font_size = 14
|
|
|
|
|
Terminal/fonts/bold_font = ExtResource("1")
|
|
|
|
|
Terminal/fonts/bold_italics_font = ExtResource("1")
|
|
|
|
|
Terminal/fonts/italics_font = ExtResource("1")
|
|
|
|
|
Terminal/fonts/normal_font = ExtResource("1")
|
