如何打开/关闭DrRacket交互窗口?如何修改其切换快捷键为Ctrl+`?
修改DrRacket交互窗口切换快捷键为Ctrl+`
要实现用`Ctrl+``一键切换交互窗口的显示/隐藏,需通过修改DrRacket的用户配置文件完成,具体步骤如下:
- 打开用户配置文件:启动DrRacket后,点击顶部菜单「File」→「Open User Configuration」,直接打开个人配置文件
user.rkt。 - 添加自定义切换逻辑与快捷键绑定:在配置文件中粘贴以下代码并保存:
(require racket/gui/base) ;; 定义切换交互窗口显示状态的函数 (define (toggle-interactions-window) (let ([frame (send (current-top-level-window) get-top-level-window)]) (if (send frame get-interactions-window-visible?) (send frame hide-interactions-window) (send frame show-interactions-window)))) ;; 绑定Ctrl+`快捷键到切换函数 (define toggle-shortcut (new shortcut% [key #\`] [control? #t] [action toggle-interactions-window]))
- 重启DrRacket:关闭并重新打开软件,新的快捷键`Ctrl+``即可生效,按下它就能直接切换交互窗口的显示或隐藏状态。
若需要移除原有的Ctrl+D和Ctrl+E快捷键,可在配置文件中添加额外解绑逻辑,保留原有快捷键通常也不会产生冲突,按需选择即可。
内容的提问来源于stack exchange,提问作者lyl




