You can now switch between the editor pane and the interaction pane with ctrl-i. A shortcut to switch between editor buffers (ctrl-t) is added. Jump to a line via alt-g is now possible. Numerous indentation bugs were solved. Changing color/font will now repaint and revalidate the buffers. A minor bug in the drawing of line numbers is fixed. Solved a bug in the splitting of a editor buffer (causing one of the buffers not to react on the key input). The state of split buffers is now saved correctly.