Rémi Verschelde 8728cac736
Merge pull request #81770 from kevincardona/add_quick_open_shortcut
Add Ctrl+P as shortcut to quick open files in addition to Shift+Alt+O
2023-09-20 13:09:37 +02:00
..