godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-08 12:40:44 +00:00
Code Releases Wiki Activity

Improved breakpoint marker position, and scales with font size

Browse Source 
(cherry picked from commit d66b034bd1)
This commit is contained in:
Paulb23
2016-06-07 16:59:16 +01:00
committed by Rémi Verschelde
parent d16375d005
commit afbc9d550f
2 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tools/editor/plugins/script_editor_plugin.cpp
View File

@@ -584,7 +584,6 @@ void ScriptTextEditor::_bind_methods() {
}
ScriptTextEditor::ScriptTextEditor() {
get_text_edit()->set_breakpoint_gutter_width(12);
}
/*** SCRIPT EDITOR ******/