Jasima/godot-xterm
1
0
Fork 0
mirror of https://github.com/lihop/godot-xterm.git synced 2024-11-12 21:50:26 +01:00
Code Issues Projects Releases Packages Wiki Activity

Editor terminal use default theme fonts

Browse source
This commit is contained in:
Leroy Hopson 2021-07-12 22:18:04 +07:00 committed by Leroy Hopson
parent c5d4a363b8
commit 683b0e3304
2 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
addons/godot_xterm/editor_plugins/terminal/editor_terminal.gd
View file

@ -22,9 +22,6 @@ func _ready():
theme = Theme.new() 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 # Get colors from TextEdit theme. Created using the default (Adaptive) theme
# for reference, but will probably cause strange results if using another 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. # better to use a dedicated terminal theme, rather than relying on this.

4
addons/godot_xterm/editor_plugins/terminal/editor_terminal.tscn
View file

@ -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/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/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"] [node name="Terminal" type="Control"]
anchor_right = 1.0 anchor_right = 1.0
@ -9,6 +10,7 @@ anchor_bottom = 1.0
focus_mode = 1 focus_mode = 1
size_flags_horizontal = 4 size_flags_horizontal = 4
size_flags_vertical = 4 size_flags_vertical = 4
theme = ExtResource( 3 )
script = ExtResource( 1 ) script = ExtResource( 1 )
__meta__ = { __meta__ = {
"_edit_use_anchors_": false "_edit_use_anchors_": false