h4.home a(href=homeLink || "/") i.icon-home.icon-white span(data-i18n="play_level.home") Home h4.title | #{worldName} span.spl.spr - a(href=editorLink, data-i18n="nav.editor", title="Open " + worldName + " in the Level Editor") Editor if multiplayerSession - found = false - for (var i=0; i < multiplayerPlayers.length; i++) { if (multiplayerPlayers.at(i).id !== meID) span.spl.spr - vs #{multiplayerPlayers.at(i).get('name')} - found = true - break - } if !found span.spl.spr - waiting... button.btn.btn-xs.btn-warning.banner#stop-real-time-playback-button(title="Stop real-time playback", data-i18n="play_level.stop") Stop button.btn.btn-xs.btn-inverse.banner#game-menu-button(title="Show game menu", data-i18n="play_level.game_menu") Game Menu button.btn.btn-xs.btn-success.banner#docs-button(title="Show level instructions", data-i18n="play_level.guide") Guide if spectateGame button.btn.btn-xs.btn-inverse.banner#next-game-button(title="Next Game", data-i18n="play_level.next-game") Next game! button.btn.btn-xs.btn-primary.banner#level-done-button(data-i18n="play_level.done") Done