Added support for changing data viewing panels, fixed a bug where jflex
throws an exception if characters 0 or 13 are passed to it, fixed other
minor bugs