1 --- girara/callbacks.h.orig 2016-04-18 20:35:34 UTC
4 #define GIRARA_CALLBACKS_H
11 @@ -108,7 +109,7 @@ bool girara_callback_inputbar_activate(G
12 * @return FALSE An error occurred
14 bool girara_callback_inputbar_key_press_event(GtkWidget* widget,
15 - GdkEventKey* event, girara_session_t* session);
16 + GdkEventKey* event, girara_session_t* session) GIRARA_OPTNONE;
19 * Default callback if the text of the input bar has changed