{
"properties": [],
"tags": [
"gedit_margin_displayed"
],
"area": [
"xpos": 658,
"ypos": 240,
"width": 16,
"height": 81,
"type": "match"
}
]