検索 - suewonjp/civilizer-jpdoc GitHub Wiki

ページヘッダ上の検索アイコンをクリックするかスクリーンの下にあるパネルツールバーをクリックすると(あるいはコントロール + シフト + スペースを押す)
検索ダイアログが表示される.

Figure 1. 検索ダイアログ

各アイコンは各パネルに紐付いている為，検索結果はそれぞれのパネルに表示される．
従って，３つの違う検索を行いそれぞれの結果を同時に１つのページ上で表示出来る．

どういう検索ワードであれそれにマッチするフラグメントがあれば検索結果として返される．
また，検索条件を限定してもっと細かい検索を行うことも可能である．
詳しい内容はこちらを参照すること．

[TIP]
ショートカットのコントロール + シフト + スペースを打つことでどこにでも検索ダイアログを表示させることが出来る．
ダイアログの表示後, 同じショートカットを再び打つことによってターゲットパネルが切り替わる.