diff options
| -rw-r--r-- | ui/gtk/gui_utils.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ui/gtk/gui_utils.c b/ui/gtk/gui_utils.c index aac46d533a..2054dd95ff 100644 --- a/ui/gtk/gui_utils.c +++ b/ui/gtk/gui_utils.c @@ -1281,7 +1281,7 @@ tree_view_key_pressed_cb(GtkWidget *tree, rc = TRUE; break; } - /* else fall through to jumping to the parent */ + /* else fall through */ case GDK_BackSpace: if (!expanded) { /* subtree is already collapsed, jump to parent node */ |