| 309 } |
309 } |
| 310 } |
310 } |
| 311 |
311 |
| 312 static void |
312 static void |
| 313 regex_key_release_cb(GtkWidget *w, GdkEventKey *e, DebugWindow *win) { |
313 regex_key_release_cb(GtkWidget *w, GdkEventKey *e, DebugWindow *win) { |
| 314 if(e->keyval == GDK_KEY_Return && |
314 if (gtk_widget_is_sensitive(win->filter)) { |
| 315 gtk_widget_is_sensitive(win->filter) && |
315 GtkToggleToolButton *tb = GTK_TOGGLE_TOOL_BUTTON(win->filter); |
| 316 !gtk_toggle_tool_button_get_active(GTK_TOGGLE_TOOL_BUTTON(win->filter))) |
316 if ((e->keyval == GDK_KEY_Return || e->keyval == GDK_KEY_KP_Enter) && |
| 317 { |
317 !gtk_toggle_tool_button_get_active(tb)) |
| 318 gtk_toggle_tool_button_set_active(GTK_TOGGLE_TOOL_BUTTON(win->filter), TRUE); |
318 { |
| |
319 gtk_toggle_tool_button_set_active(tb, TRUE); |
| |
320 } |
| |
321 if (e->keyval == GDK_KEY_Escape && |
| |
322 gtk_toggle_tool_button_get_active(tb)) |
| |
323 { |
| |
324 gtk_toggle_tool_button_set_active(tb, FALSE); |
| |
325 } |
| 319 } |
326 } |
| 320 } |
327 } |
| 321 |
328 |
| 322 static void |
329 static void |
| 323 regex_menu_cb(GtkWidget *item, const gchar *pref) { |
330 regex_menu_cb(GtkWidget *item, const gchar *pref) { |