我正在使用Emacs和SML模式。有時我需要清理SML緩衝區。我怎樣才能做到這一點。如何在使用SML模式時清除Emacs中的SML緩衝區。
3
A
回答
4
新澤西州的標準ML是一種功能性編程語言,它是ML的變體。通常它用在EMACS中有一個插件。由於我通常只是殺死緩衝區並啓動一個新的緩衝區,所以不需要清除屏幕。然而,這可能是有用的: http://www.standardml.org/Basis/manpages.html。
+0
非常感謝您的回答,我如何殺死緩衝區,而不退出,我怎麼能實際退出,我的CTRL + D不工作,每次我需要提示系統... – rookie 2010-11-19 19:46:27
+2
在Emacs中?我相信它是Ctrl + x + k。 – 2010-11-20 17:13:56
0
(let ((sml-process (get-process "sml")))
(when sml-process
(quit-process sml-process)))
(sleep-for 0.25)
(let ((sml-buffer (get-buffer "*sml*")))
(when sml-buffer
(kill-buffer sml-buffer)))
相關問題
- 1. 如何在emacs list-package中添加sml模式?
- 2. 如何清除緩衝區?
- 3. 如何清除emacs中的* Backtrace *緩衝區
- 4. 如何清除(char *)中的緩衝區?
- 5. 在Emacs中使用js2模式緩衝區的正確縮進
- 6. 不能在Emacs中運行REPL SML-模式(蘋果機)
- 7. 如何清除protobuf的緩衝區?
- 8. 如何清除cin的緩衝區?
- 9. 如何清除流串的緩衝區?
- 10. 如何恢復emacs緩衝區列表中的緩衝區?
- 11. 在SML中使用摺疊
- 12. 如何清除/清除VxWorks中的消息隊列緩衝區?
- 13. 讓emacs grep緩衝區使用特定的emacs緩衝區來顯示命中
- 14. 如何清除`TargetDatatLine`讀取緩衝區
- 15. 如何清除串行緩衝區?
- 16. 如何清除緩衝區從Android
- 17. 在SML
- 18. 在SML
- 19. 在SML
- 20. 在SML
- 21. 清除bash「源緩衝區」
- 22. 清除stdin緩衝區?
- 23. SML列表刪除
- 24. 在OpenGL中清除顏色緩衝區
- 25. 的Emacs Lisp,如何獲得緩衝區的主要模式?
- 26. SML:如何將元素追加到SML中的列表中?
- 27. 如何在模式匹配構造中的SML中創建塊
- 28. Emacs/Python:在線緩衝區與塊緩衝區模式下運行python-shell
- 29. 獲取Emacs中任何緩衝區的模式名稱
- 30. Emacs:清除緩衝區的快捷鍵是什麼?
我希望我知道這意味着什麼。 – johnny 2010-11-19 19:02:38
@johnny:我不得不穀歌它。看起來SML/NJ是SML的某種編譯器和編程環境(我從來沒有聽說過)。鑑於此,如果仍然清楚細節,這個問題似乎更直接一點。 – David 2010-11-19 19:04:00