Browse Source

Merge pull request #28 from cppit/master

pull from cppit
merge-requests/365/head
Ole Christian Eidheim 10 years ago
parent
commit
375852dfe3
  1. 2
      src/source.cc

2
src/source.cc

@ -468,8 +468,6 @@ void Source::View::set_tooltip_and_dialog_events() {
signal_leave_notify_event().connect([this](GdkEventCrossing*) {
delayed_tooltips_connection.disconnect();
type_tooltips.hide();
diagnostic_tooltips.hide();
delayed_spellcheck_suggestions_connection.disconnect();
return false;
});

Loading…
Cancel
Save