▼ horさん
> 今はリリース版の調整中のようなので、
> たぶん次の次のリリース版くらいには取り入れてもらえるかな、と思います。
あ、そうだったんですね。気長に待ちます^^
> ↓試しに手元のソースで実装した内容はこんな感じなのですが…いかがでしょう?
!もう実装されたんですか? すごいですね。
> 「アウトライン解析」または「ブックマークの一覧」ダイアログがアクティブになっている状態で、
> ・「ウィンドウの再描画」に割当てたキーを押すとアウトライン解析結果(orブクマーク一覧)の更新
> ・「アウトライン解析」 に割当てたキーを押すとアウトライン解析結果の更新(orブクマーク一覧から切替え)
> ・「ブクマークの一覧」 に割当てたキーを押すとブクマーク一覧の更新(orアウトライン解析結果から切替え)
> ・「ブクマークの設定」 に割当てたキーを押すとジャンプ&行マークの切替わる
ふむふむ。使いやすそうですね。それでいいと思います。
ただ、私の好みでいえば、
「ダイアログがアクティブになっている状態で
割り当てキーを押すと更新」
は、「ダイアログがすでに出ている時」
割り当てキーを押すと更新、のほうがいいです。
割り当てキーでアクティブにするのは、たいてい
ジャンプするときなので。
> 「リロード」ボタンみたいなのもあったほうが良いでしょうか?
ボタンですか、キーボードの場合しか考えていませんでしたが、
あればマウスを手に持っているときに使うと思います。
(なくても大丈夫ですが)
使うのが楽しみです^^ これからもがんばってください!