Dismiss theme_selector on esc (#3502)

d02ff42608Federico Dionisi committed on 12/7/2023, 8:07:13 AM· committed by GitHubparents42a3da4ceb5d0c
1 file changedLine totals unavailable