Browse Source

Language client: removed unecessary event flush

merge-requests/409/head
eidheim 4 years ago
parent
commit
85f40a76d2
  1. 4
      src/source_language_protocol.cpp

4
src/source_language_protocol.cpp

@ -628,10 +628,6 @@ void LanguageProtocol::Client::handle_server_request(const boost::variant<size_t
dispatcher->post([this] { dispatcher->post([this] {
LockGuard lock(views_mutex); LockGuard lock(views_mutex);
for(auto &view : views) { for(auto &view : views) {
while(!view->initialized) {
while(Gtk::Main::events_pending())
Gtk::Main::iteration();
}
view->write_notification("textDocument/didClose"); view->write_notification("textDocument/didClose");
view->write_did_open_notification(); view->write_did_open_notification();
} }

Loading…
Cancel
Save