えーと、質問です。
toolkitのgetDesktopPropertyを使えば
タイトルバーの高さとかその他のＯＳ側の情報を取得できる、
と、思うんですが、
肝心の指定すべきpropertyNameがわかりません。
プロパティ名と対応する情報の一覧とかどっかにありませんか？