2020年6月28日 / 最終更新日時 : 2022年8月3日 Tsutomu Terada TipsChromeの挙動 Google Calendarをアプリ的に使おうかなと思って，例のショートカット切り出しみたいな機能を使って，Google Calendarをコマンドラインからさくっと立ち上がるようにしてみた． ところが，コマンドライン […]
2019年10月30日 / 最終更新日時 : 2022年8月3日 Tsutomu Terada TipsFirefoxで開いているページをChromeで開き直すスクリプト 最近，FirefoxでGoogle Spreadsheet を開くと最後までページの読み込みが終わりきらない場合が多い．このサービスだけがすげえ読み込みが遅い． キャッシュクリアしたり，IPv6を有効にしたり無効にしたり […]
2019年6月23日 / 最終更新日時 : 2023年9月18日 Tsutomu Terada TipsPCのキーがひとつ効かなくなった対策 PCのキーボードのDELETEキーが効かなくなった．というわけで，Autohotkeyを使って，ほとんど使わないINSERTキー(PDFで学生原稿チェックするときくらいしか使わない)をDELETEキーに変えて乗り切る(C […]
2019年5月6日 / 最終更新日時 : 2019年11月13日 Tsutomu Terada TipsFirefoxのアドオンが使えなくなるトラブル Firefoxのアドオンが無効化されちゃうトラブル，ウチにも来てて困ってる．https://japanese.engadget.com/2019/05/04/firefox/ で，もう対応済みになってるんだけど，私はアド […]
