nick/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2026-03-03 20:55:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #10319 from neikeq/pr-engine-editor-hint

Browse Source 
Adds Engine::is_editor_hint() method
This commit is contained in:
Juan Linietsky
2017-08-20 12:55:46 -03:00
committed by GitHub
parent 831e21e89b 90b8a5b71e
commit 541fdffc0a
52 changed files with 167 additions and 114 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
modules/gdscript/gd_editor.cpp
View File

@@ -35,6 +35,7 @@
#ifdef TOOLS_ENABLED
#include "editor/editor_file_system.h"
#include "editor/editor_settings.h"
#include "engine.h"
#endif
void GDScriptLanguage::get_comment_delimiters(List<String> *p_delimiters) const {
@@ -2371,7 +2372,7 @@ Error GDScriptLanguage::complete_code(const String &p_code, const String &p_base
String GDScriptLanguage::_get_indentation() const {
#ifdef TOOLS_ENABLED
if (SceneTree::get_singleton()->is_editor_hint()) {
if (Engine::get_singleton()->is_editor_hint()) {
bool use_space_indentation = EDITOR_DEF("text_editor/indent/type", 0);
if (use_space_indentation) {