Remember position in scrollbar when manipulating possibly faulty and correct axioms view
When moving axioms between possibly faulty and correct axioms the scrollbar resets to the beginning which is annoying. Remember the position in the scrollbar after the operation.