diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-30 08:06:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-30 08:06:54 +0200 |
| commit | 0233c69bdcc951926421f1d9ac4160e0f3758f8d (patch) | |
| tree | e2ffdf6a5bc44b132a522a9768a79e061d4e6a35 /tools/editor/plugins | |
| parent | a99ca66ce5d9674691ee6252409dc18e4493124b (diff) | |
| parent | afab4168fd33e56beddb857625facdfca305c575 (diff) | |
Merge pull request #5474 from samuelgrigolato/tile-map-idx
Add tile index prefixes in tile map editor plugin
Diffstat (limited to 'tools/editor/plugins')
| -rw-r--r-- | tools/editor/plugins/tile_map_editor_plugin.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/editor/plugins/tile_map_editor_plugin.cpp b/tools/editor/plugins/tile_map_editor_plugin.cpp index d5f85d3333..9d27ac8aa3 100644 --- a/tools/editor/plugins/tile_map_editor_plugin.cpp +++ b/tools/editor/plugins/tile_map_editor_plugin.cpp @@ -223,7 +223,7 @@ void TileMapEditor::_update_palette() { String name; if (tileset->tile_get_name(E->get())!="") { - name = tileset->tile_get_name(E->get()); + name = itos(E->get())+" - "+tileset->tile_get_name(E->get()); } else { name = "#"+itos(E->get()); } |