Try to fix badly encoded json tex commands from the flash-lite calls

tests/test_gui_convenience.py

@@ -190,7 +190,9 @@ class GuiConvenienceTests(unittest.TestCase):
         command = self.app._make_command()
         self.assertEqual(command[-4:], ["crop-margins", str(source), "--workers", "5"])
         self.app._skip_step()
+        self.app.update()
         self.assertEqual(self.app.state_store.step("crop_blank_margins")["status"], "skipped")
+        self.assertNotEqual(self.app.current_step.id, "crop_blank_margins")
 
     def test_optional_answer_bottom_crop_uses_parallel_workers_and_can_be_skipped(self):
         answers = self.evaluation / "Copies" / "Copie01"
@@ -207,9 +209,11 @@ class GuiConvenienceTests(unittest.TestCase):
             ["crop-answer-bottoms", self.app._evaluation_arg(), "--workers", "5"],
         )
         self.app._skip_step()
+        self.app.update()
         self.assertEqual(
             self.app.state_store.step("crop_exercise_bottoms")["status"], "skipped"
         )
+        self.assertNotEqual(self.app.current_step.id, "crop_exercise_bottoms")
 
     def test_redo_targets_selected_copy_and_copies_runnable_command(self):
         for folder in ("Copies", "Copies Originales"):