From 30e0541268a8aec04f8d586d8e954fc9f19dbae7 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 5 Mar 2013 21:06:36 +0100
Subject: [PATCH] ltl2tgba: cleanup option display for monitors

* wrap/python/ajax/ltl2tgba.html: Do not display testing automaton
options when generating monitors.
---
 wrap/python/ajax/ltl2tgba.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html
index 537c20d58..d1258d882 100644
--- a/wrap/python/ajax/ltl2tgba.html
+++ b/wrap/python/ajax/ltl2tgba.html
@@ -108,8 +108,8 @@
 		$('#translator-tabs,#autsimp-tabs,#run-tabs,#tester-tabs').hide(duration);
 		break;
 	    case 'm':
-		$('#autsimp-tabs,#run-tabs').hide(duration);
-		$('#translator-tabs,#tester-tabs').not('.killed').show(duration);
+		$('#autsimp-tabs,#run-tabs,#tester-tabs').hide(duration);
+		$('#translator-tabs').not('.killed').show(duration);
 		break;
 	    case 'a':
 		$('#translator-tabs,#autsimp-tabs').not('.killed').show(duration);