Add pause button to GUI log

GUI log widget jumps to end when stuff is appended to it, making it impossible to scroll while active. Maybe add a pause ~button~ _checkbox_ to the window, so as to buffer the new lines while paused and flush them at once when unpaused?