Browse Source

Do not show tooltips after style format

merge-requests/382/head
eidheim 8 years ago
parent
commit
99dd906cc2
  1. 1
      src/source.cc
  2. 1
      src/source_language_protocol.cc

1
src/source.cc

@ -665,6 +665,7 @@ void Source::View::setup_format_style(bool is_generic_view) {
if(update_status_diagnostics) if(update_status_diagnostics)
update_status_diagnostics(this); update_status_diagnostics(this);
} }
hide_tooltips();
}; };
} }
else if(is_bracket_language) { else if(is_bracket_language) {

1
src/source_language_protocol.cc

@ -529,6 +529,7 @@ void Source::LanguageProtocolView::setup_navigation_and_refactoring() {
} }
get_buffer()->end_user_action(); get_buffer()->end_user_action();
} }
hide_tooltips();
}; };
} }

Loading…
Cancel
Save