2022年5月17日

いつの頃からか、VSCodeのMarkdownでshと書くとInsert strikethroughの補完がでて~~~~がsugestされるようになった。コードブロックのshを書くのに非常に不便なので直したい。

dateで日付補完しているので、Suggest機能は残したい。問題はエンターで入力されてしまうことなので、

"editor.acceptSuggestionOnEnder": "off"

にすることで解決。明示的に補完したい時にはTabを使うので、サジェストは表示されるが無視すれば良い。

あと、単語のサジェスト機能も不要なので

"editor.suggest.showWords": false,

単語のサジェストは英語のような単語の切れ目がはっきりしている言語では有用なのであろうが、日本語を書くときには邪魔になることが多かったので、これでだいぶ快適になった。

なんか昨日、Sudokuのminlex出力コードに「同じはずの数独が異なるminlexを出力する」という報告が来た。3年も前のコードなんて覚えてないよ、と思ったが、さっき試したら正しい結果が出てる。どういうこっちゃ?とりあえずコンパイラとバージョンを聞いてみた。

5000個あるサンプルに対して、別のコードの出力とチェックしたので、そうそうバグは残ってないと思うんだけど、なんかコンパイラ依存の振る舞いでも踏んだかな?