org.pantheon.scratch.plugins.folder-manager opened-folders @as []
org.pantheon.scratch.saved-state window-height 722
org.pantheon.scratch.saved-state window-state 'Normal'
org.pantheon.scratch.saved-state window-width 1366
org.pantheon.scratch.settings auto-indent false
org.pantheon.scratch.settings autosave false
org.pantheon.scratch.settings draw-spaces false
org.pantheon.scratch.settings font 'Droid Sans Mono 10'
org.pantheon.scratch.settings highlight-current-line true
org.pantheon.scratch.settings highlight-matching-brackets true
org.pantheon.scratch.settings indent-width 4
org.pantheon.scratch.settings line-break true
org.pantheon.scratch.settings opened-files ['']
org.pantheon.scratch.settings plugins-enabled ['contractor']
org.pantheon.scratch.settings right-margin-position 80
org.pantheon.scratch.settings show-at-start 'welcome'
org.pantheon.scratch.settings show-line-numbers true
org.pantheon.scratch.settings show-right-margin false
org.pantheon.scratch.settings spaces-instead-of-tabs true
org.pantheon.scratch.settings style-scheme 'cobalt'
org.pantheon.scratch.settings use-system-font true
org.pantheon.scratch.services expiry-time 'N'
org.pantheon.scratch.services paste-format-code 'None'
org.pantheon.scratch.services set-private false