           type: 'number'
           default: 0.5
       order:14
+
     linux:
       type: 'object'
       properties:

    latextoolsSetSyntax:
      type: 'boolean'
      default: true
    order: 10

    temporaryFileExtensions:
      type: 'array'

          type: 'number'
          default: 1.5
        keepFocusDelay:
          type: 'number'
          default: 0.5
      order: 15

