Made header edit undoable
Fixed repaint on header edit
Added --probsoln command line switch