Browse Source

Added slight delay on tag-similar-tokens so that scrolling up/down with arrowkeys is more smooth.

merge-requests/365/head
Ole Christian Eidheim 10 years ago
parent
commit
96d9330d9d
  1. 8
      src/source.cc
  2. 1
      src/source.h

8
src/source.cc

@ -1340,8 +1340,12 @@ Source::ClangViewAutocomplete(file_path, project_path) {
get_buffer()->signal_mark_set().connect([this](const Gtk::TextBuffer::iterator& iterator, const Glib::RefPtr<Gtk::TextBuffer::Mark>& mark){
if(mark->get_name()=="insert") {
auto usr=get_token();
tag_similar_tokens(usr);
delayed_tag_similar_tokens_connection.disconnect();
delayed_tag_similar_tokens_connection=Glib::signal_timeout().connect([this]() {
auto usr=get_token();
tag_similar_tokens(usr);
return false;
}, 100);
}
});

1
src/source.h

@ -177,6 +177,7 @@ namespace Source {
private:
Glib::RefPtr<Gtk::TextTag> similar_tokens_tag;
std::string last_similar_tokens_tagged;
sigc::connection delayed_tag_similar_tokens_connection;
std::unique_ptr<SelectionDialog> selection_dialog;
bool renaming=false;
};

Loading…
Cancel
Save