From 173e100a4136ccf39848e01fa8d070570ce08131 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 18 Jul 2012 15:28:36 +0200
Subject: [PATCH] ltl2tgba.html: Draw a run by default, don't print it.

* wrap/python/ajax/ltl2tgba.html, wrap/python/ajax/spot.in: Here.
---
 wrap/python/ajax/ltl2tgba.html | 4 ++--
 wrap/python/ajax/spot.in       | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html
index 81c02f05a..daa2ab783 100644
--- a/wrap/python/ajax/ltl2tgba.html
+++ b/wrap/python/ajax/ltl2tgba.html
@@ -522,11 +522,11 @@ an identifier: <span class="formula">aUb</span> is an atomic proposition, unlike
 		</label><br>
 		then<br>
 		<label class="rtip" title="Produce a textual description of run accepted by the automaton.">
-		  <INPUT type="radio" name="rf" value="p" checked>
+		  <INPUT type="radio" name="rf" value="p">
 		  print an accepting run
 		</label><br>
 		<label class="rtip" title="Use color to show an accepting run in the automaton.">
-		  <INPUT type="radio" name="rf" value="d">
+		  <INPUT type="radio" name="rf" value="d" checked>
 		  draw an accepting run on top of the automaton
 		</label><br>
 	      </div>
diff --git a/wrap/python/ajax/spot.in b/wrap/python/ajax/spot.in
index b78365307..4473f52f1 100755
--- a/wrap/python/ajax/spot.in
+++ b/wrap/python/ajax/spot.in
@@ -693,7 +693,7 @@ if output_type == 'r':
 
     print_acc_run = False
     draw_acc_run = False
-    s = form.getfirst('rf', 'p')
+    s = form.getfirst('rf', 'd')
     if s == 'p':
         print_acc_run = True
     elif s == 'd':