Hassen Ben Tanfous

agreed. it should do window.location.href or access chrome.tabs.update

## dot file Agreed. We will read it only for now. What do you think about having a server where we can share our configuration? by server I mean something...

Example of possible config now begin_custom_js var remoteExists = typeof frontendExec != "undefined"; if(remoteExists) oldexec = frontendExec; frontendExec = function() { if(remoteExists) oldexec(); with(KeyEvent) { add("tcm", Buffer.deleteMatch); add("tcc", Tab.closeOtherTabs); add("tcq",...

Excellent. Will keep this ticket open and will come back to it later. I have other changes I need to make first.

This is tough to reproduce locally. What I can do is guide you so you can submit a patch. Check get-key.js There is a mapping array named shiftNums My guess...

great idea. will do.