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.