2023-01-08 09:35:18 +01:00
|
|
|
[gd_resource type="Theme" load_steps=2 format=3 uid="uid://caottjvxeiyje"]
|
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="4"]
|
2021-06-18 05:17:48 +02:00
|
|
|
|
|
|
|
[resource]
|
2023-01-08 09:35:18 +01:00
|
|
|
default_font = ExtResource("4")
|
|
|
|
Terminal/colors/ansi_0_color = Color(0, 0, 0, 1)
|
|
|
|
Terminal/colors/ansi_10_color = Color(0, 0.760784, 0.380392, 1)
|
|
|
|
Terminal/colors/ansi_11_color = Color(1, 0.866667, 0.396078, 1)
|
|
|
|
Terminal/colors/ansi_12_color = Color(0.160784, 0.545098, 1, 1)
|
|
|
|
Terminal/colors/ansi_13_color = Color(0.658824, 0.364706, 0.913725, 1)
|
|
|
|
Terminal/colors/ansi_14_color = Color(0.133333, 0.8, 1, 1)
|
|
|
|
Terminal/colors/ansi_15_color = Color(1, 1, 1, 1)
|
|
|
|
Terminal/colors/ansi_1_color = Color(0.74902, 0.352941, 0.313726, 1)
|
|
|
|
Terminal/colors/ansi_2_color = Color(0, 0.380392, 0.188235, 1)
|
|
|
|
Terminal/colors/ansi_3_color = Color(0.698039, 0.572549, 0.0627451, 1)
|
|
|
|
Terminal/colors/ansi_4_color = Color(0.239216, 0.392157, 0.866667, 1)
|
|
|
|
Terminal/colors/ansi_5_color = Color(0.439216, 0.164706, 1, 1)
|
|
|
|
Terminal/colors/ansi_6_color = Color(0, 0.65098, 0.729412, 1)
|
|
|
|
Terminal/colors/ansi_7_color = Color(0.898039, 0.898039, 0.898039, 1)
|
|
|
|
Terminal/colors/ansi_8_color = Color(0.25098, 0.25098, 0.25098, 1)
|
|
|
|
Terminal/colors/ansi_9_color = Color(1, 0.439216, 0.521569, 1)
|
|
|
|
Terminal/colors/background_color = Color(0.921569, 0.921569, 0.921569, 1)
|
|
|
|
Terminal/colors/foreground_color = Color(0.25098, 0.25098, 0.25098, 1)
|
|
|
|
Terminal/font_sizes/font_size = 14
|
|
|
|
Terminal/fonts/bold_font = ExtResource("4")
|
|
|
|
Terminal/fonts/bold_italics_font = ExtResource("4")
|
|
|
|
Terminal/fonts/italics_font = ExtResource("4")
|
|
|
|
Terminal/fonts/normal_font = ExtResource("4")
|