diff --git a/addons/godot_xterm/editor_plugins/terminal/editor_terminal.gd b/addons/godot_xterm/editor_plugins/terminal/editor_terminal.gd index a4ba159..c150c2c 100644 --- a/addons/godot_xterm/editor_plugins/terminal/editor_terminal.gd +++ b/addons/godot_xterm/editor_plugins/terminal/editor_terminal.gd @@ -22,9 +22,6 @@ func _ready(): theme = Theme.new() - # Use the same font as EditorLog. - theme.default_font = get_font("output_source", "EditorFonts") - # Get colors from TextEdit theme. Created using the default (Adaptive) theme # for reference, but will probably cause strange results if using another theme # better to use a dedicated terminal theme, rather than relying on this. diff --git a/addons/godot_xterm/editor_plugins/terminal/editor_terminal.tscn b/addons/godot_xterm/editor_plugins/terminal/editor_terminal.tscn index 2ad84f0..be4409c 100644 --- a/addons/godot_xterm/editor_plugins/terminal/editor_terminal.tscn +++ b/addons/godot_xterm/editor_plugins/terminal/editor_terminal.tscn @@ -1,7 +1,8 @@ -[gd_scene load_steps=3 format=2] +[gd_scene load_steps=4 format=2] [ext_resource path="res://addons/godot_xterm/editor_plugins/terminal/editor_terminal.gd" type="Script" id=1] [ext_resource path="res://addons/godot_xterm/nodes/pty/unix/pty_unix.gd" type="Script" id=2] +[ext_resource path="res://addons/godot_xterm/themes/default.tres" type="Theme" id=3] [node name="Terminal" type="Control"] anchor_right = 1.0 @@ -9,6 +10,7 @@ anchor_bottom = 1.0 focus_mode = 1 size_flags_horizontal = 4 size_flags_vertical = 4 +theme = ExtResource( 3 ) script = ExtResource( 1 ) __meta__ = { "_edit_use_anchors_": false