fix: cancel when escape (#986)

This commit is contained in:
Grégoire Cutzach 2024-05-16 17:15:14 +02:00 committed by GitHub
parent 1d55b5bcce
commit bb249ff462
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -130,7 +130,10 @@ export function columnFilterMenu(owner: IDisposableOwner, opts: IFilterMenuOptio
dom.onDispose(() => cancel ? doCancel() : doSave()), dom.onDispose(() => cancel ? doCancel() : doSave()),
dom.onKeyDown({ dom.onKeyDown({
Enter: () => onClose(), Enter: () => onClose(),
Escape: () => onClose(), Escape: () => {
cancel = true;
onClose();
},
}), }),
// Filter by range // Filter by range