第六章GUI 设置与偏好

Preferences 对话框

通过 Edit → Preferences 打开设置对话框，包含以下类别：

General Preferences

• 启动行为（加载上次 session / 新建数据库）
• 自动保存间隔
• 语言/区域设置

Dialog Preferences

对话框行为设置（确认提示、默认选项等）。

Source Browser Preferences

• 字体和颜色主题
• Tab 宽度
• 行号显示

Visualize Preferences

• 波形颜色方案
• 默认 radix（二进制/十六进制/十进制）
• 波形绘制样式

Console Preferences

• Console 字体大小/颜色
• 命令历史大小
• 消息过滤级别

External Tools Preferences

配置外部编辑器、波形查看器等工具路径。

自定义 GUI 按钮

可以添加自定义工具栏按钮，执行常用 Tcl 命令。

其他设置

• Unavailable Fonts 处理
• Window Geometry（窗口位置和大小记忆）
• Color Depth 配置
• GUI Config File 位置
• Message Pane 字体颜色
• Property Table 过滤行为
• Source Pane Annotation 颜色
• Source Code Limits（源码显示大小限制）
• Primary Inputs Driver 操作
• GUI 前景/背景颜色自定义
• VNC 会话中的文本复制

推荐配置

以下是一些实用设置建议，提升使用体验：

自定义工具栏按钮

可以添加自定义按钮绑定常用 Tcl 命令，例如一键 prove、一键打开 waveform：

# 在 GUI Console 中执行，添加一个 "Prove All" 自定义按钮
gui_add_toolbar_button -name "Prove All" -command { prove -all }

VNC/远程桌面优化

在 VNC 或远程桌面中使用 JasperGold 时，GUI 渲染可能较慢。建议：

• 降低 Color Depth 设置
• 关闭动画效果
• 使用 -batch 模式跑 prove，再用 GUI 打开数据库调试