pkulchenko/ZeroBraneStudio — pull request #169 by crumblingstatue (2013-06-22 10:08:39+00:00)
Title: Make code folding optional

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