Rescrollerのアドオンを使っています
デフォルトのスクロールのバーの幅が小さすぎるため、これで広く出来るのは便利なのですが、
これを使っていると、しょっちゅうバーが隠れてしまって見えなくなります
ウィンドウの大きさを帰ると、バーがまた出現しますが、バーが隠れるのはバグですか？