crawl-ref/source/webserver/templates/game_links.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

Play now:
{% set rcs = set() %}
{% for id in games %}
{% if games[id]["rcfile_path"] not in rcs %}
{% if "separator" in games[id] %}
{% raw games[id]["separator"] %}
{% else %}<br>{% end %}
<a href="#play-{{ id }}">{{ games[id]["name"] }}</a>
{% set rcs.add(games[id]["rcfile_path"]) %}
<a href="javascript:"
   class="edit_rc_link"
   data-game_id="{{ id }}">(edit rc)</a>
{% else %}
{% if "separator" in games[id] %}
{% raw games[id]["separator"] %}
{% else %} | {% end %}
<a href="#play-{{ id }}">{{ games[id]["name"] }}</a>
{% end %}
{% end %}