尽管 TeXlipse 是一款出色的文本编辑器,但我有一个抱怨,那就是缺少用于设置粗体斜体等常见字符样式的热键。我发现 TeXlipse 的首选项中有一个关于样式完成的页面,似乎可以解决这个问题。我对此功能用法的理解是:
- 选择一个单词
- 按 Ctrl+space 键(在 Windows 上,键是 Ctrl+Alt+space)
- 弹出一个窗口,我可以选择首选项中的样式完成页面中列出的格式样式。
但是当我按下回车键选择格式样式时,什么都没有发生?Eclipse 似乎忽略了我的操作。有人遇到过这个问题吗?
使用 TeXlipse 快速格式化字符的替代方法是什么?