gui#main#showScriptMenuItem#set_active true
method advance tactical =
- let text = "\n" ^ TacticAstPp.pp_tactical tactical in
+ let text = "\n" ^ tactical in
buf#insert ~iter:(buf#get_iter_at_mark (`NAME "locked")) text;
let res = self#_forward () in
if not (fst res) then begin