ada/code_examples_server
0
0
Fork 0
mirror of https://github.com/AdaCore/code_examples_server.git synced 2026-02-12 12:45:18 -08:00
Code Issues Packages Projects Releases Wiki Activity

Buttons now need to be listed explicitly

Browse Source
This commit is contained in:
Nicolas Setton
2018-06-05 15:31:25 -04:00
parent e959ffe624
commit cde825d723
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compile_server/app/templates/code_embed.html
View File

@@ -10,7 +10,7 @@
</head>
<body>
<div example_editor="{{ example.name }}"></div>
<div example_editor="{{ example.name }}" prove_button="true"></div>
<script src="{% static "ace-builds/src/ace.js" %}" type="text/javascript" charset="utf-8"></script>
<script src="{% static "jquery-3.2.1.min.js" %}"></script>

2
compile_server/app/templates/code_page.html
View File

@@ -4,6 +4,6 @@
<h3>{{ example.name }}</h3>
{{ example.description }}
<p></p>
<div example_editor="{{ example.name }}"></div>
<div example_editor="{{ example.name }}" prove_button="true"></div>
{% endblock%}