You need to enable JavaScript to run this app.
最新活动
大模型
产品
解决方案
定价
生态与合作
支持与服务
开发者
了解我们

如何打开/关闭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+DCtrl+E快捷键,可在配置文件中添加额外解绑逻辑,保留原有快捷键通常也不会产生冲突,按需选择即可。

内容的提问来源于stack exchange,提问作者lyl

火山引擎 最新活动