Better GUI updating

TableViewer GUI updates at more appropriate intervals. Pausing and
updating the GUI are now done by one function.