In src/symbols.c:
> + > + if (new_doc) > + { > + GeanyDocument *old_doc = document_get_current(); > + > + navqueue_goto_line(old_doc, new_doc, tag->line); > + } > + > + gtk_widget_hide(tag_goto_popup); > + tm_tag_unref(tag); > +} > + > + > +static gboolean on_key_pressed(GtkWidget *widget, GdkEventKey *event, gpointer user_data) > +{ > + guint state = event->state & gtk_accelerator_get_default_mod_mask();
should probably use keybindings_get_modifiers()
—
Reply to this email directly or view it on GitHub.