diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-04 08:10:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-04 08:10:04 +0200 |
| commit | df11de72c9943955b874df89338fb7429a4e283c (patch) | |
| tree | 7b1cf9e6628ccb16b2ec31d9f070d24e1a5a592a /editor/filesystem_dock.cpp | |
| parent | 8ebe6d83703858d2fa5f68555855ebc0b4730e17 (diff) | |
| parent | e298f931a614af94335069dc97878c09a986a478 (diff) | |
Merge pull request #10932 from djrm/pr_fix_metrics
Fixed some metrics (some issues caused by the new Noto Sans font).
Diffstat (limited to 'editor/filesystem_dock.cpp')
| -rw-r--r-- | editor/filesystem_dock.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editor/filesystem_dock.cpp b/editor/filesystem_dock.cpp index 04036f410a..a66d1724a1 100644 --- a/editor/filesystem_dock.cpp +++ b/editor/filesystem_dock.cpp @@ -1839,7 +1839,7 @@ FileSystemDock::FileSystemDock(EditorNode *p_editor) { path = "res://"; - add_constant_override("separation", 3); + add_constant_override("separation", 4); } FileSystemDock::~FileSystemDock() { |