怒られたー 🤣
-
Ctrl押しっぱなし問題
バグ修正
- Ctrlキーの押下が解除されない
この件、AutohotKey界隈ではよく知られた現象らしく、Ctrlキー以外にも修飾キー全般で押しっぱなしになる不具合が発生する模様。
ググると沢山情報が出てくる。
- AutoHotkey:キー押しっぱなし病・ホットキーすり抜け病対策の研究
- AutoHotkeyの押しっぱなし問題
- 快適キーボード操作のためのキーカスタマイズ 〜AutoHotKeyのキー押しっぱなし問題とScrollLockの非推奨~
- 【AutoHotkey】キーが押しっぱなしになる現象の対策メモ(2024年6月最新版)
- AutoHotkeyでShiftの単押しと修飾キーとしての押しっぱなしを別のキーマップにする
- AutoHotkeyを始めるなら最初にこれを書いておこう
・・・
機能修正
SendMode "Event" ; 不具合対処 ; 稀に修飾キーが押下した状態のままになる現象が発生する。 ; ホットキー終了時に必ずCtrl/Altキーを上げる。 sendWrap(key) { try Send key finally Send "{Ctrl Up}" } setWindowPositionWrap(windowPosition, monitorNum*) { try if (monitorNum.Length > 0) setWindowPosition(windowPosition, monitorNum[1]) else setWindowPosition(windowPosition) finally Send "{Alt Up}" } ^!r:: { Send "{Ctrl Down}" Send "{Ctrl Up}" Send "{Alt Down}" Send "{Alt Up}" Reload }現象がまったく出なくなるような対処方法はないようだけど、SendをSendEventに変更したら発生頻度が下がったとの情報があったので「SendMode “Event”」の1行を追加した。
また、send/setWindowPosition関数をWrapしてホットキーの終了時に無条件でCtrl/AltのUpイベントを発行するように修正した。無条件でUpイベントが発生することによる副作用が懸念されるけれど押しっぱなしになるよりは良いかと思われる。
暫定対処で追加したCtrl+Alt+Rキーの処理は残してAltキーの対処も追加しておいた。
これでも再発するならsleepを入れたり、修飾キーをF13~F14キーに割り当てたり、別の方法で試行錯誤しながら修正していくことになる。
しばらく様子見です。
作ったもの

-
今日誕生日の人おめでとう、わたしです。
🎈誕生日おめでとー

-
明日の神話

https://taro-okamoto.or.jp/asunoshinwa/ 工事してて通り抜けできませんでしたね… 2F 🙄
-
じー
🫠
Categories
- Tweets
- 日本映画
- リメイク映画
- 韓国映画
- 実際の出来事に基づいた映画
- 香港映画
- アメリカ映画
- ドキュメンタリー映画
- 外国映画
- アニメ
- スリラー
- ホラー
- 伝記
- 犯罪
- SF
- アクション
- コメディ
- サスペンス
- ドラマ
- ファンタジー
- ロマンス
- TV番組
- Likes
- Developments
- WordPress
- Raspberry Pi
- その他
Recommend books
Books I read recently and wanted to share. 📍
成瀬は天下を取りにいく
世界秩序が変わるとき 新自由主義からのゲームチェンジ
1%の革命 ビジネス・暮らし・民主主義をアップデートする未来戦略
22世紀の資本主義 やがてお金は絶滅する
松岡まどか、起業します AIスタートアップ戦記
なぜ、あなたの仕事は終わらないのか
私が見た未来
それなら、それで
サーキット・スイッチャー
Archive
- 2025年12月
- 2025年11月
- 2025年10月
- 2025年9月
- 2025年8月
- 2025年7月
- 2025年6月
- 2025年5月
- 2025年4月
- 2025年3月
- 2025年2月
- 2025年1月
- 2024年12月
- 2024年11月
- 2024年10月
- 2024年9月
- 2024年8月
- 2024年7月
- 2024年6月
- 2024年5月
- 2024年4月
- 2024年3月
- 2024年2月
- 2024年1月
- 2023年12月
- 2023年11月
- 2023年10月
- 2023年9月
- 2023年8月
- 2023年7月
- 2023年6月
- 2023年5月
- 2023年4月
- 2023年3月
- 2023年2月
- 2023年1月
- 2022年12月
- 2022年3月
- 2022年2月


