[我注意到在[mac0]中the Idris-dev GitHub Wiki中没有等效的命令用于Atom的Search（Cntl-Alt-S）和Lift Hole（Cntl-Alt-L）命令。有人知道如何设置它们吗？
哇，看起来像是在那儿被称为“尝试解决漏洞”和“提取漏洞”。我已经更新了维基，并将其放在右行。不确定我们如何使每个编辑器在这些事情上使用不同的名称。我称这些为“证明搜索”和“提取引理”。这些的ide模式名称记录在http://docs.idris-lang.org/en/latest/reference/ide-protocol.html中（也许我们可以将其作为该Wiki上的另一列？）您还可以在idris-mode源中查看这些键的实际键绑定：https://github.com/idris-hackers/idris-mode/blob/2cd2ace9327248e141c35127b8ef9114a1301a1d/idris-keys.el#L54