From ebf48d4fa4f922b2520164df795796acd6d049f9 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 17 Jul 2012 17:42:00 +0200 Subject: [PATCH] * wrap/python/ajax/ltl2tgba.html: Remember killed blocks. --- wrap/python/ajax/ltl2tgba.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html index 1ead853d3..81c02f05a 100644 --- a/wrap/python/ajax/ltl2tgba.html +++ b/wrap/python/ajax/ltl2tgba.html @@ -99,18 +99,18 @@ break; case 'm': $('#autsimp-tabs,#run-tabs').hide(duration); - $('#translator-tabs,#tester-tabs').show(duration); + $('#translator-tabs,#tester-tabs').not('.killed').show(duration); break; case 'a': - $('#translator-tabs,#autsimp-tabs').show(duration); + $('#translator-tabs,#autsimp-tabs').not('.killed').show(duration); $('#run-tabs,#tester-tabs').hide(duration); break; case 't': - $('#translator-tabs,#autsimp-tabs,#tester-tabs').show(duration); + $('#translator-tabs,#autsimp-tabs,#tester-tabs').not('.killed').show(duration); $('#run-tabs').hide(duration); break; case 'r': - $('#translator-tabs,#autsimp-tabs,#run-tabs').show(duration); + $('#translator-tabs,#autsimp-tabs,#run-tabs').not('.killed').show(duration); $('#tester-tabs').hide(duration); break; } @@ -272,7 +272,7 @@ $('.collapsible .head').click(function(e) { if (e.ctrlKey) { if ($(this).attr('id') != 'ltl-head') - $(this).parent().hide('fast'); + $(this).parent().hide('fast').addClass("killed"); } else { foldToggle($(this)); }