{
    "$schema": "http://json-schema.org/draft-07/schema#",
    "$id": "/plugin/progressbar.json",
    "description": "Show a progress bar at top of the page on page loading",
    "type": "boolean",
    "default": true
}