mirror of
https://github.com/godotengine/godot.git
synced 2025-10-30 13:11:13 +00:00
Improved breakpoint marker position, and scales with font size
This commit is contained in:
parent
ce328ce99b
commit
d66b034bd1
2 changed files with 6 additions and 4 deletions
|
|
@ -588,7 +588,6 @@ void ScriptTextEditor::_bind_methods() {
|
|||
}
|
||||
|
||||
ScriptTextEditor::ScriptTextEditor() {
|
||||
get_text_edit()->set_breakpoint_gutter_width(12);
|
||||
}
|
||||
|
||||
/*** SCRIPT EDITOR ******/
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue