I can\'t believe that neither a Google or SO search has turned up a definitive answer or even much discussion for this, but:
Is it possible to edit/customize keyboar
If anybody uses Ubuntu, setting a global shortcut is probably the best solution for the moment. Here's what worked for me:
Install xcape (https://github.com/alols/xcape). For Debian based systems you can run:
sudo apt-get install git gcc make pkg-config libx11-dev libxtst-dev libxi-dev
git clone https://github.com/alols/xcape.git
cd xcape
make
sudo make install
Run the following command to map for ex. F6 to the dev tools shortcut:
xcape -e 'F6=Control_L|Shift_L|I'
Set the shortcuts you prefer and put the relative commands in your .bash_profile
for permanent results