Finish documenting GPUI

2024-01-22 19:33:45 -08:00
parent eab2e21126
commit 938b84c045
10 changed files with 74 additions and 10 deletions
@@ -72,7 +72,7 @@ impl KeystrokeMatcher {
            }
        }

-        if bindings.len() == 0 && pending_key.is_none() && self.pending_keystrokes.len() > 0 {
+        if bindings.is_empty() && pending_key.is_none() && !self.pending_keystrokes.is_empty() {
            drop(keymap);
            self.pending_keystrokes.remove(0);
            return self.match_keystroke(keystroke, context_stack);