Synchronise Info and Goal buffers on main thread
These buffers are not synchronised, so executing multiple coq statements can result in multiple goals or info results being shown at the same time.
These buffers are not synchronised, so executing multiple coq statements can result in multiple goals or info results being shown at the same time.