public void PackStartHighlighted (Widget child, bool expand, bool fill, uint padding, HighlightFlags highlightFlags) { PackStart (child, expand, fill, padding); if (highlightFlags != HighlightFlags.None) { highlight_widgets.Add (child, highlightFlags); } }
public void PackStartHighlighted(Widget child, bool expand, bool fill, uint padding, HighlightFlags highlightFlags) { PackStart(child, expand, fill, padding); if (highlightFlags != HighlightFlags.None) { highlight_widgets.Add(child, highlightFlags); } }