settings-schema.json

{
  "section1": {
    "type": "section",
    "description": "Behavior"
  },
  "show-all-workspaces" : {
    "type" : "switch",
    "default" : false,
    "description": "Show windows from all workspaces"
  },
  "enable-alerts" : {
      "type" : "switch",
      "default" : true,
      "description" : "Show an alert in the window list when a window from another workspace requires attention"
  },
  "enable-scrolling" : {
      "type" : "switch",
      "default" : false,
      "description" : "Enable mouse-wheel scrolling in the window list"
  },
  "reverse-scrolling" : {
      "type" : "switch",
      "default" : false,
      "description" : "Reverse the direction of mouse-wheel scrolling in the window list",
      "dependency" : "enable-scrolling"
  },
  "middle-click-close": {
      "type": "switch",
      "default": true,
      "description": "Middle click to close window"
  },
  "sort-windows-by-workspace": {
      "type": "switch",
      "default": false,
      "description": "Sort windows by workspace instead of by opening time"
  },
  "section2": {
    "type": "section",
    "description": "Display"
  },
  "buttons-use-entire-space": {
      "type": "switch",
      "default": false,
      "description": "Window buttons can have different sizes and use the entire space available"
  },
  "window-preview": {
      "type": "switch",
      "default": true,
      "description": "Show window thumbnails on hover"
  },
  "button-size": {
      "type": "spinbutton",
      "default": 150,
      "min": 20,
      "max": 500,
      "step": 10,
      "units": "pixels",
      "description": "Button width in the panel"
  }
}