All pastes #113977 Raw Edit

Unnamed

public text v1 · immutable
·published 2006-08-03 21:05 UTC
rendered paste body
WidgetDim (WidgetName + "__auto__TabPane__", TopEdge) + 4 +
PropertyDim (WidgetName + "__auto_TabPane__Buttons", "EnableTop") *
    (WidgetDim (WidgetName + "__auto_TabPane__", Height) -
     (ImageDim ("WindowsLook", "TabButtonScrollLeftNormal", Width) + 6))