commit | dc90724a67a629c2b417cb5b5e6c17d4ffd149cf | [log] [tgz] |
---|---|---|
author | Markus Keller <markus_keller@ch.ibm.com> | Fri Aug 16 13:36:51 2013 +0200 |
committer | Markus Keller <markus_keller@ch.ibm.com> | Fri Aug 16 14:10:57 2013 +0200 |
tree | db0d0bf3f51f8f04a7fb0149f070595b1e6dad3f | |
parent | b33bdb79a997eb303a0e5637b28d118b5aa68ac9 [diff] |
Bug 414957: wrong values from ScrollBar#getThumbBounds (was: [navigation] Mark Occurrences scrollbar position doesn't match)