From 05776919ecf6184472bfbb6959d141fe66b0b3da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ale=C5=A1=20Smodi=C5=A1?= Date: Fri, 17 Jul 2015 10:35:18 +0200 Subject: Bugfix: the svg declaration was off. --- sins.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/sins.py b/sins.py index b37d154..812c363 100644 --- a/sins.py +++ b/sins.py @@ -18,9 +18,11 @@ hint['list_empty'] = { 'type': 'static', 'message': """ Kaj se zgodi, če je SortedList prazen?
- xmlns="http://www.w3.org/2000/svg" + Animates sorted insert (sins/3) with rectangles. -- cgit v1.2.1 From 8917c1fc6dc395e9f39bba4ea7e1189f9e61c23d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ale=C5=A1=20Smodi=C5=A1?= Date: Fri, 17 Jul 2015 10:35:42 +0200 Subject: Show the sins.py example in the mockup. --- js/codeq.js | 2 +- js/prolog.js | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/js/codeq.js b/js/codeq.js index e867ffd..472cab0 100644 --- a/js/codeq.js +++ b/js/codeq.js @@ -726,7 +726,7 @@ window.phandler = null; // TODO: this is for debug only codeq.system.load({ type: 'text', - url: 'sister.py', + url: 'sins.py', callback: function (data, status, url) { if (!data) return; var info = codeq.parseDefinition(data); diff --git a/js/prolog.js b/js/prolog.js index c405200..28c1b69 100644 --- a/js/prolog.js +++ b/js/prolog.js @@ -190,7 +190,11 @@ }; var jqButtons = $('#block-toolbar button'); - $(jqButtons.get(0)).on('click', function () { handler.processServerHints([{id:'x_must_be_female'}]); }); +// $(jqButtons.get(0)).on('click', function () { handler.processServerHints([{id:'x_must_be_female'}]); }); +// $(jqButtons.get(1)).on('click', function () { handler.processServerHints([{id:'popup_unknown', start: 20, end: 26}]); }); +// $(jqButtons.get(2)).on('click', function () { handler.processServerHints([{id:'drop_down', start: 20, end: 26, choices:['ena', 'dva', 'tri']}]); }); + + $(jqButtons.get(0)).on('click', function () { handler.processServerHints([{id:'list_empty'}]); }); $(jqButtons.get(1)).on('click', function () { handler.processServerHints([{id:'popup_unknown', start: 20, end: 26}]); }); $(jqButtons.get(2)).on('click', function () { handler.processServerHints([{id:'drop_down', start: 20, end: 26, choices:['ena', 'dva', 'tri']}]); }); -- cgit v1.2.1