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);
     }
 }
Exemple #2
0
 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);
     }
 }