method private fold =
    box#remove_common (foldable :> AXOWidgets.common) ;