在其他emacs模式下使用Agda的輸入法？
[英]Use Agda's input method in other emacs mode?
問題描述
如何使用Agda的輸入法在非Agda模式下輸入unicode字符？ 當我嘗試set-input-method時，我沒有看到它的名字出現。 我想使用Agda的輸入法而不是TeX的原因是因為我想要的字符無法在TeX輸入。
或者，可能另一個問題是“如何添加更多快捷方式以在現有TeX輸入法中輸入unicode字符？”
非常感謝你
1 個解決方案
解決方案1
12 已采納 2014-08-16 14:58:28
在.emacs文件中添加以下命令：
;; Using the input method of Agda in LaTeX files.
(require 'agda-input)
(add-hook 'LaTeX-mode-hook
(lambda () (set-input-method "Agda")))
在 OSX 上運行 Emacs GUI 時無法找到 Agda 模式二進制文件
[英]Cannot locate Agda mode binary when running Emacs GUI on OSX
你能用 Emacs 的邪惡模式使用 vim 腳本和插件嗎？ 邪惡模式的限制是什么？
[英]Can you just use vim scripts and plugins with emacs' evil mode? what are evil mode's limitations?
emacs haskell模式下的haskell-unicode-input-method將unicode轉換回ascii
[英]emacs haskell-unicode-input-method in haskell-mode convert unicode back to ascii
如果有條件，如何將特定的輸入法設置為emacs特定的主模式？
[英]How to set a specific input method to emacs specific major-mode if I have a condition?
聲明:本站的技術帖子網頁，遵循CC BY-SA 4.0協議，如果您需要轉載，請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.
相關問題
Doom Emacs 中 Agda-mode 2 的語法高亮顯示
在 OSX 上運行 Emacs GUI 時無法找到 Agda 模式二進制文件
如何為emacs特定的主模式設置特定的輸入法？
Emacs 24：有沒有辦法使用CC模式的縮進？
Aquamacs中的Agda模式
Emacs模式類似於vi的普通模式
你能用 Emacs 的邪惡模式使用 vim 腳本和插件嗎？ 邪惡模式的限制是什么？
emacs haskell模式下的haskell-unicode-input-method將unicode轉換回ascii
在Emacs中僅將2模式與Web模式一起使用
如果有條件，如何將特定的輸入法設置為emacs特定的主模式？
相關標簽