Some users might consider code folding a needless distraction. Several editors offer the option to turn code folding off. This commit adds the editor.fold option, which is a boolean. true enables code folding (default) false disables code folding