08/06/19 15:41:56 V/Pz0eBe0
>>215
設定＞詳細設定で、マウスやキーボードのショートカットを編集することができるよ。
そこで>>212を入力操作に対応する処理としてコピペしてあげればいい。
さらにいうとOperaのGUIでショートカットを変更したら、プロファイルフォルダの中にiniが出来上がってるから一度確認しておくといい。OperaのGUIで編集するのと、そのiniを自分のエディターで編集するのと同じことだから。
08/06/19 15:41:56 V/Pz0eBe0
>>215
設定＞詳細設定で、マウスやキーボードのショートカットを編集することができるよ。
そこで>>212を入力操作に対応する処理としてコピペしてあげればいい。
さらにいうとOperaのGUIでショートカットを変更したら、プロファイルフォルダの中にiniが出来上がってるから一度確認しておくといい。OperaのGUIで編集するのと、そのiniを自分のエディターで編集するのと同じことだから。