-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathbacasable.html
51 lines (51 loc) · 2.49 KB
/
bacasable.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>MicroAlg - Bac à sable</title>
<meta name="description"
content="Environnement de test en ligne pour MicroAlg." />
<meta name="keywords" content="microalg, algo, algorithme, algorithmique, lisp, environnement" />
<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.8.2/jquery.min.js"></script>
<script>window.jQuery || document.write('<script src="web/jquery.min.js"><\/script>')</script>
<script src="emulisp/int.js" type="text/javascript"></script>
<script src="emulisp/emulisp_core.js" type="text/javascript"></script>
<link href="//fonts.googleapis.com/css?family=Raleway:400,300,600" rel="stylesheet" type="text/css">
<link rel="stylesheet" href="css/normalize.css">
<link rel="stylesheet" href="css/skeleton.css">
<link rel="stylesheet" href="css/custom.css">
<link rel="stylesheet" type="text/css" href="web/style.css" />
<script type="text/javascript" src="web/ide_injections.js"></script>
<script type="text/javascript" src="web/parenedit.js"></script>
<link type="text/css" href="web/parenedit.css" rel="stylesheet" />
<script src="web/showdown.js"></script>
<script src="web/svg-tree-drawer/svg-tree-drawer.js"></script>
<link href="web/css-ninja-tree/css-ninja-tree.css" rel="stylesheet"/>
<script src="web/jquery.terminal-min.js"></script>
<link href="web/jquery.terminal.css" rel="stylesheet"/>
</head>
<body class="microalg">
<noscript>
<div style="color:#CC0000; text-align:center">
Besoin de Javascript pour utiliser cet IDE.
</div>
</noscript>
<h1>Taper le programme à tester dans la fenêtre ci-dessous.</h1>
<div id="script-container" class="malg-container"></div>
<script>
inject_microalg_editor_in('script-container',
{processing: true});
// Focus et curseur final dans l’éditeur:
var txtarea = $('#script-container').find('.malg-editor').first();
txtarea.focus().selectRange(txtarea.val().length, txtarea.val().length);
</script>
<script type="text/javascript" src="web/tabIndent.js"></script>
<script type="text/javascript" src="web/jquery.textcomplete.min.js"></script>
<link type="text/css" href="web/jquery.textcomplete.css" rel="stylesheet" />
<script>
tabIndent.config.tab = ' ';
tabIndent.renderAll();
attachTextComplete();
</script>
</body>
</html>