読者です 読者をやめる 読者になる 読者になる

詩と創作・思索のひろば

ドキドキギュンギュンダイアリーです!!!

GitHub で diff を見るのに便利なユーザースクリプト

GitHub JavaScript

を書いた。

github-userscripts/diff-sticky-filename/diff-sticky-filename.user.js

以下のように、diff ビューをスクロールしたときにファイル名が画面上にくっついて表示されるようになります。長い diff を読まなきゃいけないときに便利ですね。

Screenshot

楽してページ内の jQuery を使いたかったのと Content-Security-Policy の関係で、raw.github.com からスクリプトを読み込む、という実装になってます。