On Mon, Dec 15, 2014 at 6:26 PM, Marc Delisle marc@infomarc.info wrote:
Hi, I was not aware that the console can be opened/closed with ESC. However, using ESC seems to cause other troubles (see https://sourceforge.net/p/phpmyadmin/bugs/4651/) so any objection to remove this ESC behavior?
Anyway, ESC is supposed to be for quitting something, right?
No objection for removing. However, it's nice to have some other short key
to easily access console.