Improvements to folding (Shift-Tab), arrows instead of +/-