ツリーコントロールのカスタマイズ

[umemura]

よこの長さは TreeControl.indentation で指定できました。
ただ、トグルボタンを大きくした際に、レイアウトが崩れる問題は解決できていおらず、
margin-spec で6px より大きくすると、目に見えてレイアウトがおかしくなります。

Code:

||ツリーの見栄えを変える
    def tree-control =
        {TreeControl
            tree-item-creation-proc = new-tree-item-creation-proc,
            name = "tree-control",
            || インデント幅
            indentation = 15mm
        }
    {install-style-sheet-on-Graphic
        tree-control,
        {StyleSheet
            ||トグルボタン
            {StyleRule "TreeControl/toggle",
                skin = {ShadedSkinSpec
                           "white",
                           "white",
                           rollover-start-color = "lightblue",
                           border-color = "gray",
                           rollover-border-color = "blue",
                           draw-content-background? = false,
                           margin-spec = {OffsetSpec 6px},
                           overlay-decoration = "plus"
                           ||corner-radius = 3px
                       },
                checked-skin = {ShadedSkinSpec
                                   "white",
                                   "white",
                                   rollover-start-color = "lightblue",
                                   border-color = "gray",
                                   rollover-border-color = "blue",
                                   draw-content-background? = false,
                                   margin-spec = {OffsetSpec 6px},
                                   overlay-decoration = "minus"
                                   ||corner-radius = 3px
                               }
            },
            ||TreeItemのマージンを広げる
            {StyleRule "DefaultTreeItem",
                margin = 2mm
            }
        }
    }