もずはっく日記(2012年12月)

2012年12月19日

Windowsで、Firefoxボタンが表示されている時に、ウインドウの上端のボーダーでリサイズするのが難しいというバグです。半年ほど前に一度パッチを入れた時は、そのパッチに重大なバグがあり、バックアウトされましたが、このたび、ようやく修正が完了しました。

ボタンの無い部分では、システムのウインドウのボーダーの太さを参照するようになっています。ボタン上では、最小限の高さとして内部定義しているマジックナンバーで、3ピクセルだけがボーダーとして扱われます。

自分でも時々、イライラさせられているバグだったので、ストレスに感じてた方もそれなりに居たんじゃないかなと思います。無茶苦茶地味なんですが。