{
  "id": "d06f0d4d-2cd5-4ede-8de9-598629438c6e",
  "snapshot": "chrome",
  "instruction": "Can you change the color of the volume slider to black-ish color? I often use the player in a low-light environment, and a darker color scheme would be less straining on my eyes, especially during nighttime usage.",
  "source": "https://superuser.com/questions/1039392/changing-colour-of-vlc-volume-slider",
  "config": [
    {
      "type": "launch",
      "parameters": {
        "command": "VLC_VERBOSE=-1 vlc --no-audio --no-video-title-show",
        "shell": true
      }
    },
    {
      "type": "execute",
      "parameters": {
        "command": [
          "python",
          "-c",
          "import pyautogui; import time; pyautogui.click({SCREEN_WIDTH_HALF}, {SCREEN_HEIGHT_HALF}); time.sleep(0.5);"
        ]
      }
    }
  ],
  "trajectory": "trajectories/",
  "related_apps": [
    "vlc"
  ],
  "evaluator": {
    "postconfig": [
      {
        "type": "launch",
        "parameters": {
          "command": [
            "pkill",
            "vlc"
          ]
        }
      },
      {
        "type": "launch",
        "parameters": {
          "command": "vlc --no-audio --no-video-title-show",
          "shell": true
        }
      }
    ],
    "func": "check_qt_slider_colours",
    "expected": {
      "type": "rule",
      "rules": {
        "type": "blackish"
      }
    },
    "result": {
      "type": "vlc_config",
      "dest": "vlcrc"
    }
  },
  "proxy": false,
  "fixed_ip": false,
  "possibility_of_env_change": "low"
}