設定用検索ボックスは分散配置されず、どこかに一ヶ所在って、全設定を網羅して検索してくれれば、と思う。

github.com/JDimproved/JDim/commit/686b84c1c666b623c7449a54a897f9ae4494bd18
> ショートカットキー設定とマウスジェスチャ設定とマウスボタン設定のダイアログに
> 設定項目をキーワードでフィルタリングする検索ボックスとボックスを開閉するトグルボタンを追加します。