ð{Oberon10.Scn.FntOberon10i.Scn.Fnt+FoldElems.Insert {make selection foldable} FoldElems.InsertCollapsed {make selection unfoldable} FoldElems.Expand {expand all folds} FoldElems.Collapse {collapse all folds} FoldElems.Marks ^ on off {make fold marks (in)visible} FoldElems.Search ^ System.Open Folds.Tool