diff --git a/src/main.rs b/src/main.rs
index 11adc97..6d0b261 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -730,7 +730,9 @@ async fn main() -> Result<()> {
                                 tasks.move_to(filtered.into_iter().next());
                             } else {
                                 tasks.move_to(pos.cloned());
-                                tasks.set_view(filtered);
+                                if !tasks.set_view(filtered) {
+                                    continue 'repl;
+                                }
                             }
                         }
                     }