有没有办法改变终端标题栏的大小？我的看起来很大：
或者可以将标签位置更改为它，例如在 Chrome 中：
终端标题栏大小
相关内容
- 如何按功能键输入电子邮件地址[重复]
- 将 pip 从 /usr/local/bin/pip 切换到 /usr/bin/pip
- systemctl 问题：“transmission-daemon.service在磁盘上更改”无法摆脱警告
- Windows Server 2003 64 位中的过度分页
- 无法绑定 Ctrl-Alt-Shift-Down
- 在“活动”菜单中开始搜索时切换键盘布局
- Ubuntu 16.04 上偶尔会丢失有线局域网连接
- 使用 dd 和 conv=sparse 创建分区或完整磁盘映像？
- 用于 DNS、IDS 和 IPS 的 Raspberry Pi 网络拓扑
- 我应该使用 i3-2100 哪个版本？[重复]