mac上可以用标签页啊,这个功能不需要窗口管理器
前段时间emacs27在doom-emac上有bug换回26了,最近bug好像接了不想动了等正式版吧
这里说的标签页指什么?
咱们说的是不是同一个东西, 是tab-bar-mode吗? 开启此mode后, M-x tab-new, 没有tab出现.
哦哦,确实tab-bar-mode
无效,不过tab-line-mode
可以用。
快了 Starting the Emacs 27 release cycle
Starting the Emacs 27 release cycle
From : Eli Zaretskii Subject : Starting the Emacs 27 release cycle Date : Sat, 23 Nov 2019 18:59:39 +0200 I’m planning on cutting the emacs-27 release branch in a week or so. If someone has plans for changes that must be done before that, so that they end up in Emacs 27.1, please make it happen till then, or ask here for an extension. After the branch is cut, only bugfixes will be allowed on the release branch, per our usual practices (see CONTRIBUTE). Thanks.
都一个星期了还没动静啊
差别这么大吗? 那是什么影响了速度? 我感觉proof general相比coq应该不会是性能瓶颈吧…
自己编译了一个emacs27,发现src下面没有emacsclient, 这个要怎么才能得到呢?
emacsclient 在 lib-src 下
coq的性能瓶颈在我用下来会在firstorder这种无法确定复杂度的tactic和对一个嵌套了power, plus, mult的表达式做rewrite时候出现,这种情况下由于分支指数增长使得验证变得很慢。但在实际使用中没有遇到上面的情况下26版本下proof generl仍然很慢(比较coqide而言)。具体原因的话,毕竟做的是证明,只要足够顺滑我倾向于不去深究,就当做是新版本的魔法,以上都是个人观点
太棒了,用上27了。
好吧.
我也没有仔细分析瓶颈, 当时觉得既然编译coq文件都很慢, 那么在proof-general慢也很正常…
等以后有机会我去试试.
用了emacs28 用的lsp-mode 解析上真没感觉有啥提升,和vim比还是差太多了。。vim上基本就是秒出来的感觉,emacs还是有延迟很明显。。
同感,vim下coc是真的顺滑,和vscode基本没有差距
问题出在哪儿呢?是 JSON 解析么?
emacs 字符串连接对数据越大越慢,lsp的completion 一次接收大量的数据需要进行字符串连接,emacs的process-filter 一次只传输4096个字节,如果数据量过大就要对数据合并之后再进行json decode 这就会慢到爆炸。。。
emacs里面所有string的函数都很慢。但是对buffer里面的string操作却很快。
如果真的这样就还有用 dynamic module 来处理 JSON 数据了,Emacs 只处理请求和结果。
@yyoncho What do you think about the issue of process-filter mentioned above?
I opened a bug against the core and now it if fixed - (setq read-process-output-max (* 1024 1024))
will lead to ~30% speedup of lsp-mode.
As a side note, string concatenation in lsp-mode is very fast - we are collecting the pieces and we are joining it with a single call which all comes down to C code.