{
  "id": "0e763496-b6bb-4508-a427-fad0b6c3e195",
  "snapshot": "libreoffice_writer",
  "instruction": "Change the font to \"Times New Roman\" throughout the text.",
  "source": "https://ask.libreoffice.org/t/how-do-i-change-the-font-for-the-whole-document-in-writer/9220",
  "config": [
    {
      "type": "download",
      "parameters": {
        "files": [
          {
            "url": "https://drive.usercontent.google.com/download?id=1fIHNzFm8JabWoLKOnxrFM722fQ1d_huK&export=download&authuser=0&confirm=t&uuid=d11a8dda-1e4e-4dc9-b05c-e6b47624dbf0&at=APZUnTVG0ViFnKJa00314wVr3uP9:1704185871014",
            "path": "/home/user/Desktop/Dublin_Zoo_Intro.docx"
          }
        ]
      }
    },
    {
      "type": "open",
      "parameters": {
        "path": "/home/user/Desktop/Dublin_Zoo_Intro.docx"
      }
    }
  ],
  "trajectory": "trajectories/",
  "related_apps": [
    "libreoffice_writer"
  ],
  "evaluator": {
    "postconfig": [
      {
        "type": "activate_window",
        "parameters": {
          "window_name": "Dublin_Zoo_Intro.docx - LibreOffice Writer",
          "strict": true
        }
      },
      {
        "type": "sleep",
        "parameters": {
          "seconds": 0.5
        }
      },
      {
        "type": "execute",
        "parameters": {
          "command": [
            "python",
            "-c",
            "import pyautogui; import time; pyautogui.hotkey('ctrl', 's'); time.sleep(0.5); "
          ]
        }
      }
    ],
    "func": "compare_font_names",
    "expected": {
      "type": "rule",
      "rules": {
        "font_name": "Times New Roman"
      }
    },
    "result": {
      "type": "vm_file",
      "path": "/home/user/Desktop/Dublin_Zoo_Intro.docx",
      "dest": "Dublin_Zoo_Intro.docx"
    }
  }
}