Madhura Jayaratne a écrit :
On Mon, Dec 15, 2014 at 7:28 PM, Chirayu Chiripal < chirayu.chiripal@gmail.com> wrote:
On 15-Dec-2014 7:12 pm, "Chirayu Chiripal" chirayu.chiripal@gmail.com wrote:
On 15-Dec-2014 7:09 pm, "Madhura Jayaratne" madhura.cj@gmail.com
wrote:
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.
Exactly. I've seen tilde(~) used commonly for console.
I just realized that we cannot use this character as it might be required in the data as well.
To avoid conflicting with other browser functionalities we probably will
have to go for a 3 key short cut. I propose Ctrl+Alt+C.
Fine, as "C" reminds me of "Console".
Do you think that we need to let the user customize this with a configuration? If so, I think the new configuration should come in 4.4 rather than in bug fix releases.
I agree.