Bug Fix: Smooth movement with arrow keys while mouse hovers over dropdown

web/model-manager.js

@@ -252,6 +252,7 @@ class DirectoryDropdown {
 
         const selection_select = (e) => {
             const selection = e.target;
+            if (e.movementX === 0 && e.movementY === 0) { return ; }
             if (!selection.classList.contains(DROPDOWN_DIRECTORY_SELECTION_CLASS)) {
                 // assumes only one will ever selected at a time
                 e.stopPropagation();