issue #codio-9723. add navigation within softtabs (#21)
issue #codio-9723. add navigation within softtabs (#21)

* issue #codio-9723. add navigation within softtabs

* add constant

codio/CodeMirror,codio/CodeMirror,codio/CodeMirror