lean-ja / lean-by-example

コード例で学ぶ Lean 言語
https://lean-ja.github.io/lean-by-example/
MIT License
48 stars 7 forks source link

iOS のサファリで開くと、タグが機能しない #856

Open Seasawher opened 1 month ago

Seasawher commented 1 month ago

そもそも Safari では日本語検索自体が機能していない。タグ名を英語にすればおそらく対応できると思われる。

しかし 🏷️ の文字も(Unicodeなので)使えないため、🏷tag-metapro のような表記にしておいて、tag-metapro の部分で検索をかけるしかないかもしれない。

Seasawher commented 1 month ago

しかし 🏷️ の文字も(Unicodeなので)使えないため、🏷tag-metapro のような表記にしておいて、tag-metapro の部分で検索をかけるしかないかもしれない。

mdbook の検索があほすぎるのでこの手は使うことができない。tag-metapro で検索したときに、全然関係がないページが大量にヒットしてしまう。

mdbook の検索をモバイルでも Unicode 対応させることができればそれが一番良い。

Seasawher commented 1 month ago

iPhone および iPad でこの現象を確認。