{
  "properties": [],
  "tags": [
    "gedit_highlight_mode"
  ],
  "area": [
    {
      "xpos": 785,
      "ypos": 166,
      "width": 65,
      "height": 22,
      "type": "match"
    }
  ]
}