online editor: fix folding option