{
  "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://huggingface.co/datasets/xlangai/ubuntu_osworld_file_cache/resolve/main/libreoffice_writer/0e763496-b6bb-4508-a427-fad0b6c3e195/Dublin_Zoo_Intro.docx",
            "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"
    }
  }
}