codeeditor: allow ustom modes
codeeditor: allow custom modes II
codeeditor: texttree mode
codeeditor: textlist mode
codeeditor: customized markdown mode, rendering to html
ide: browse protocol snippet truncation
codeeditor: reset commands rests modes as well
ide: lively.lang snippets
ide: fix window navigation, due to recent browser changes
cleanup