>>852,855
起動と高さ表示を何度も繰り返したのですが
高さが変わるときと変わらないときがありその条件が絞り出せませんでした
上部のツリーの高さが偶数なら変わる？とかの単純なものでもなさそうです
記録読み出しはドッキングコンポーネントに任せているのでその内容も少し追いかけたのですが
特定は出来ませんでしたが恐らくそのコンポーネント内部のバグで
2012/06/02 ver 1.0.5o
//ブックマークとツリーを上下ドッキング + フローティングしていた場合
//リサイズしないとおかしくなっているバグ対策

の時と同じ原因と仮定して少し小細工してみようかと思います