@ptr Definitely something I think I’ve heard mentioned before and would be nice to see. That said, I would like to make sure you’re aware that there is a shortcut to the Profile menu.
Windows: Open Profile menu Ctrl + Shift + m
Mac Open Profile menu ⌘ + Shift + m
I just created a second profile and tested. To switch between the two, I just hit Ctrl + Shift + m
and then immediately hit Enter
and it switched to my other profile. If I had more than one profile, might have to hit up or down to toggle between profile names.
How does that work compared to what you’re requesting?