VSCodeで作業中PDFを何で見ればよいか問題．VSCodeにくっついているやつはどうも安定しない気がする．特に急に更新されなくなるの困る．というか，開いているファイルを壊してしまう（例えばPDF出力のエンジンでコンパイルエラーを発生させる）とその後更新されなくない？　絶対にコンパイルエラーを発生させないスーパーマンしか使ってはいけないのだろうか……．

SumatraPDFにすると安定はするのだけど，inverse searchが機能しなくて困る．と思ったのだが，SumatraPDFを開き，"<VS Codeへのパス>" -r -g "%f:%l"と設定してやってみたら機能した．いろいろ試してみると「VSCodeからSumatraPDFを開くとだめ」というよくわからない状況．最初だけ自分でPDFを開いてやれば後は問題なく動くっぽいきがしている．