这个快捷键是在那里改的?

本来我用keyconfig设置了F4是关闭标签.
但不记得从什么时候开始,F4变了一个Scratchpad的窗口.
在keyconfig里看不到有提示冲突,但就是用不了.

这个Scratchpad是什么东西?是扩展吗?
或者这个Scratchpad的快捷键能改吗?

我的版本是7.0a1 64位.win7.

Scratchpad是最近的版本新加的功能（快捷键F4），就是让用户输入 javascript 语句，并执行这些语句。

方便扩展开发的
一般用户无用
最近有个新的修改快捷键的扩展
customizable shortcuts
不用重启  可以改
不过没有keyconfig的编程功能

customizable shortcuts 改不了.

不过我找到解决方法了.在about:config里找到
devtools.scratchpad.enabled
设置为flase.

OK!