[crebilis]

hey,

The only editor I've tried out that has this sidebar folding is jEdit. It is mostly plugin-based, so if the other things you needed are not implemented, you may be able to find a plugin for it.

The url can be found somewhere on this site.