settings.properties

#Mon Feb 13 20:17:47 CET 2017
window.state=6
editor.lua.code.spell-checking=true
editor.lua.code.folding=true
editor.lua.code.completion.auto-activation-delay=300
editor.lua.code.folding.fold-if=false
editor.lua.code.folding.fold-repeat=false
editor.lua.code.completion.show-desc-window=true
editor.lua.code.completion.open-on-dot=true
editor.js.theme=DARK
editor.lua.code.folding.fold-while=false
editor.lua.code.completion.single-choices=true
editor.lua.code.completion.open-while-typing=true
window.width=1938
editor.js.code.folding=true
editor.lua.code.completion.auto-activation=true
editor.lua.code.folding.fold-for=false
editor.lua.code.folding.fold-function=true
editor.lua.theme=DARK
editor.lua.code.completion.desc-window.width=440
window.height=1050
editor.lua.code.completion.desc-window.height=280
editor.lua.code.completion=true
editor.lua.code.folding.fold-comment=true
editor.lua.code.show-line-numbers=true