リストをフィルターする
リストの上にあるフィルターボックスに入力し始めると、リストが絞り込まれます。フィルターはセッションのタイトルとプロジェクトパスの両方に一致するため、セッションの内容や実行されたフォルダでセッションを見つけることができます。ボックスにはクリアボタンが表示され、ワンクリックで内容を消去してすべてを再度表示できます。上記で説明したソースおよびカテゴリチップは、テキストフィルターが残したものをさらに絞り込みます。
- タイトルまたはパスでフィルター… — フィルターボックス。入力した内容をタイトルまたはプロジェクトパスに含むエントリにリストを絞り込みます。
- フィルターをクリア — フィルターボックスをクリアします。