- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- 現在との差分 - Visual を表示
- ソース を表示
- :i/ページ一覧をページ内検索するのとページを開くことの繰り返しを統合するには へ行く。
- 1 (2020-06-25 (木) 08:33:17)
- 2 (2020-06-25 (木) 08:34:27)
- 3 (2020-11-03 (火) 13:42:41)
「検索結果からページを開くと、ページ内検索も行われる」とは別。
検索結果が多すぎてページ内検索を使いたいときの話。
ページ内検索は不要なテキストが多いときに使いたくなるもの。
一覧を分けて、一覧を検索せずに済むようにする。ページの方は短く書いてもらって、見出し(ページ名)を適切につけてもらって検索不要にする。