フォロー

そういえばSpacemacsでOCamlを編集してるとキー入力を取りこぼす件は、帰省中一時的に使っていたmacOSをやめて素直にArch Linuxでやったら解消した。EmacsのCocoaポートに潜む何かを踏んだのかもしれない。やはりプロプラエタリなOSではなくArch Linuxに居住すべきだとわかる(プロパガンダ的発言)。

ログインして会話に参加
のめやうたえどん

のめやうたえどんは、のめやうたえマストドンインスタンスです。まだまだ未開の地ですが、のめやうたいましょう。