{
  "properties": [],
  "tags": [
    "gedit_display_margin"
  ],
  "area": [
    {
      "xpos": 778,
      "ypos": 643,
      "width": 89,
      "height": 18,
      "type": "match"
    }
  ]
}