diff options
| author | Rémi Verschelde | 2017-06-16 08:14:45 +0200 |
|---|---|---|
| committer | GitHub | 2017-06-16 08:14:45 +0200 |
| commit | 3e7bbf2ca383056d661d4f978e2747269ba7f4a8 (patch) | |
| tree | bc7344a5fb4bd78e969a4425eb9bd4d64ccc1b8e /editor/editor_data.cpp | |
| parent | 7a8a789364e257ade9af10c292a253ecfc1f1ecf (diff) | |
| parent | fc2fe7ebd1ed54318ca82a3d20bb8892d9bd7fd2 (diff) | |
| download | godot-3e7bbf2ca383056d661d4f978e2747269ba7f4a8.tar.gz godot-3e7bbf2ca383056d661d4f978e2747269ba7f4a8.tar.zst godot-3e7bbf2ca383056d661d4f978e2747269ba7f4a8.zip | |
Merge pull request #9196 from volzhs/scene-tab
Enhance scene tabs
Diffstat (limited to 'editor/editor_data.cpp')
| -rw-r--r-- | editor/editor_data.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/editor/editor_data.cpp b/editor/editor_data.cpp index 31c1402c8..58ffa223f 100644 --- a/editor/editor_data.cpp +++ b/editor/editor_data.cpp @@ -675,7 +675,12 @@ String EditorData::get_scene_title(int p_idx) const { return "[empty]"; if (edited_scene[p_idx].root->get_filename() == "") return "[unsaved]"; - return edited_scene[p_idx].root->get_filename().get_file(); + bool show_ext = EDITOR_DEF("interface/scene_tabs/show_extension", false); + String name = edited_scene[p_idx].root->get_filename().get_file(); + if (!show_ext) { + name = name.get_basename(); + } + return name; } String EditorData::get_scene_path(int p_idx) const { |