DPI の違うモニターで思うようにウィンドウを動かせない問題について。 github.com PowerToys の FancyZones をものすごく参考にしました。 Windows 10、AutoHotkey v2 です。 DwmGetWindowAttribute size := 16 buf := Buffer(size) DWMWA_EXTENDED_FRAME_B…

フォーカス移動で楽したいと考えたときの覚書 Windows で標準（？）の方法 マウスでクリックする 見たまま選べる キーボードから手が離れる Alt + Tab 履歴を Tab や方向キーで選択 プレビューが表示される 直近にフォーカスのあったウィンドウに移動するの…

はじめに Windows の Inkscape を使っていて、拡張機能で WSL の pdflatex を使うときのメモです。 標準の拡張機能の pdflatex.inx と pdflatex.py を複製・編集しました。 インストール先は %USERPROFILE%/AppData/Roaming/inkscape/extensions/... です。 …