発言(同一ID)数のカウント表示にレスの順番(何番目の投稿)を追加する

背景や動機

スレビューで同一IDが書き込みした回数をIDの隣に表示することが可能ですが何番目に書き込まれたレスなのか知るためにはID抽出などを行って数え上げないと分かりません。

参考文献 https://archive.is/dC8vs#20%25 JD wiki 作業中

解決方法

発言数のカウント表示にレスが何番目の投稿なのか情報を追加します。発言数の表示と一体化して about:config のスレビューにある 発言(同一ID)数をカウントする が有効のときは何番目の投稿を表示します。

このため設定項目のテキストを 発言(同一ID)数とレスの順番(何番目の投稿)をカウントする に変更します。

カウント表示	書式	表示例
現状	`(発言数)`	`(12)`
変更案	`(何番目の投稿/発言数)`	`(3/12)`

代替案

発言数とレスの順番は設定や表示を分ける特にたくさんの計算やメモリを必要とする機能ではないため別個の機能に分割は行いません。

追加の情報

実装に必要なレスの順番を記録をするため使用する連想配列コンテナをハッシュテーブル(std::unordered_set)から値の大小に基づいたデータ構造(std::set)に変更します。 1000レスを超える長大なスレッドや一度に大量のスレッドを開いたり、古いPCを利用している場合は実行速度に影響があるかもしれません。

JDimproved / JDim

発言(同一ID)数のカウント表示にレスの順番(何番目の投稿)を追加する #1233