added codeedit keybinding fix (#554)

This commit is contained in:
Cole Lashley 2024-04-05 13:01:51 -07:00 committed by GitHub
parent 5a6575a393
commit eed234a131
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -652,7 +652,7 @@ class TextAreaInput extends React.Component<{ screen: Screen; onHeightChange: ()
}
}
}
const isMainInputFocused = this.mainInputFocused.get();
const isMainInputFocused = inputModel.hasFocus() && this.mainInputFocused.get();
const isHistoryFocused = this.historyFocused.get();
return (
<div