alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

ltl2tgba: cleanup option display for monitors

Browse source 
* wrap/python/ajax/ltl2tgba.html: Do not display testing automaton
options when generating monitors.
This commit is contained in:
Alexandre Duret-Lutz 2013-03-05 21:06:36 +01:00
parent b6b6582b05
commit 30e0541268
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
wrap/python/ajax/ltl2tgba.html
View file

@ -108,8 +108,8 @@
$('#translator-tabs,#autsimp-tabs,#run-tabs,#tester-tabs').hide(duration); $('#translator-tabs,#autsimp-tabs,#run-tabs,#tester-tabs').hide(duration);
break; break;
case 'm': case 'm':
$('#autsimp-tabs,#run-tabs').hide(duration); $('#autsimp-tabs,#run-tabs,#tester-tabs').hide(duration);
$('#translator-tabs,#tester-tabs').not('.killed').show(duration); $('#translator-tabs').not('.killed').show(duration);
break; break;
case 'a': case 'a':
$('#translator-tabs,#autsimp-tabs').not('.killed').show(duration); $('#translator-tabs,#autsimp-tabs').not('.killed').show(duration);