editor: select language by pressing enter (#7484)

Signed-off-by: Yash Kumar <kyash03@student.ubc.ca>
This commit is contained in:
Yash Kumar
2025-02-12 21:12:37 -08:00
committed by GitHub
parent 9b43af475b
commit 1d3650659f

View File

@@ -258,6 +258,15 @@ function LanguageSelector(props: LanguageSelectorProps) {
zIndex: 999,
mt: 1
}}
onKeyDown={(e: React.KeyboardEvent) => {
if (e.key === "Enter" && languages.length > 0) {
onLanguageSelected(languages[0].filename);
e.preventDefault();
} else if (e.key === "Escape") {
onClose();
e.preventDefault();
}
}}
onChange={(e) => {
if (!e.target.value) return setLanguages(Languages);
const query = e.target.value.toLowerCase();