public SelectionHandleBox(Gtk.Widget parent)
{
// Lines
selection.Add(new SelectionHandlePart(BoxFill.HLine, BoxPos.Start, BoxPos.Start, 0, -selectionLineWidth, BoxPos.End, BoxPos.Start, 0, 0));
selection.Add(new SelectionHandlePart(BoxFill.HLine, BoxPos.Start, BoxPos.End, 0, 0, BoxPos.End, BoxPos.End, 0, selectionLineWidth));
selection.Add(new SelectionHandlePart(BoxFill.VLine, BoxPos.Start, BoxPos.Start, -selectionLineWidth, 0, BoxPos.Start, BoxPos.End, 0, 0));
selection.Add(new SelectionHandlePart(BoxFill.VLine, BoxPos.End, BoxPos.Start, 0, 0, BoxPos.End, BoxPos.End, selectionLineWidth, 0));
// Handles
selection.Add(new SelectionHandlePart(BoxFill.Box, BoxPos.Start, BoxPos.Start, -selectionHandleSize, -selectionHandleSize, BoxPos.Start, BoxPos.Start, 0, 0));
selection.Add(new SelectionHandlePart(BoxFill.Box, BoxPos.End, BoxPos.Start, 0, -selectionHandleSize, BoxPos.End, BoxPos.Start, selectionHandleSize, 0));
selection.Add(new SelectionHandlePart(BoxFill.Box, BoxPos.Start, BoxPos.End, -selectionHandleSize, 0, BoxPos.Start, BoxPos.End, 0, selectionHandleSize));
selection.Add(new SelectionHandlePart(BoxFill.Box, BoxPos.End, BoxPos.End, 0, 0, BoxPos.End, BoxPos.End, selectionHandleSize, selectionHandleSize));
selection.Add(new SelectionHandlePart(BoxFill.Box, BoxPos.Center, BoxPos.Start, -selectionHandleSize / 2, -selectionHandleSize, BoxPos.Center, BoxPos.Start, selectionHandleSize / 2, 0));
selection.Add(new SelectionHandlePart(BoxFill.Box, BoxPos.Center, BoxPos.End, -selectionHandleSize / 2, 0, BoxPos.Center, BoxPos.End, selectionHandleSize / 2, selectionHandleSize));
selection.Add(new SelectionHandlePart(BoxFill.Box, BoxPos.Start, BoxPos.Center, -selectionHandleSize, -selectionHandleSize / 2, BoxPos.Start, BoxPos.Center, 0, selectionHandleSize / 2));
selection.Add(new SelectionHandlePart(BoxFill.Box, BoxPos.End, BoxPos.Center, 0, -selectionHandleSize / 2, BoxPos.End, BoxPos.Center, selectionHandleSize, selectionHandleSize / 2));
dragHandlePart = new SelectionHandlePart(BoxFill.Box, BoxPos.Center, BoxPos.Start, -topSelectionHandleSize / 2, -topSelectionHandleSize, BoxPos.Center, BoxPos.Start, topSelectionHandleSize / 2, 0);
selection.Add(dragHandlePart);
foreach (SelectionHandlePart s in selection)
{
s.Parent = parent;
s.ParentBox = this;
}
}
public SelectionHandleBox (Gtk.Widget parent)
{
// Lines
selection.Add (new SelectionHandlePart (BoxFill.HLine, BoxPos.Start, BoxPos.Start, 0, -selectionLineWidth, BoxPos.End, BoxPos.Start, 0, 0));
selection.Add (new SelectionHandlePart (BoxFill.HLine, BoxPos.Start, BoxPos.End, 0, 0, BoxPos.End, BoxPos.End, 0, selectionLineWidth));
selection.Add (new SelectionHandlePart (BoxFill.VLine, BoxPos.Start, BoxPos.Start, -selectionLineWidth, 0, BoxPos.Start, BoxPos.End, 0, 0));
selection.Add (new SelectionHandlePart (BoxFill.VLine, BoxPos.End, BoxPos.Start, 0, 0, BoxPos.End, BoxPos.End, selectionLineWidth, 0));
// Handles
selection.Add (new SelectionHandlePart (BoxFill.Box, BoxPos.Start, BoxPos.Start, -selectionHandleSize, -selectionHandleSize, BoxPos.Start, BoxPos.Start, 0, 0));
selection.Add (new SelectionHandlePart (BoxFill.Box, BoxPos.End, BoxPos.Start, 0, -selectionHandleSize, BoxPos.End, BoxPos.Start, selectionHandleSize, 0));
selection.Add (new SelectionHandlePart (BoxFill.Box, BoxPos.Start, BoxPos.End, -selectionHandleSize, 0, BoxPos.Start, BoxPos.End, 0, selectionHandleSize));
selection.Add (new SelectionHandlePart (BoxFill.Box, BoxPos.End, BoxPos.End, 0, 0, BoxPos.End, BoxPos.End, selectionHandleSize, selectionHandleSize));
selection.Add (new SelectionHandlePart (BoxFill.Box, BoxPos.Center, BoxPos.Start, -selectionHandleSize/2, -selectionHandleSize, BoxPos.Center, BoxPos.Start, selectionHandleSize/2, 0));
selection.Add (new SelectionHandlePart (BoxFill.Box, BoxPos.Center, BoxPos.End, -selectionHandleSize/2, 0, BoxPos.Center, BoxPos.End, selectionHandleSize/2, selectionHandleSize));
selection.Add (new SelectionHandlePart (BoxFill.Box, BoxPos.Start, BoxPos.Center, -selectionHandleSize, -selectionHandleSize/2, BoxPos.Start, BoxPos.Center, 0, selectionHandleSize/2));
selection.Add (new SelectionHandlePart (BoxFill.Box, BoxPos.End, BoxPos.Center, 0, -selectionHandleSize/2, BoxPos.End, BoxPos.Center, selectionHandleSize, selectionHandleSize/2));
dragHandlePart = new SelectionHandlePart (BoxFill.Box, BoxPos.Center, BoxPos.Start, -topSelectionHandleSize/2, -topSelectionHandleSize, BoxPos.Center, BoxPos.Start, topSelectionHandleSize/2, 0);
selection.Add (dragHandlePart);
foreach (SelectionHandlePart s in selection) {
s.Parent = parent;
s.ParentBox = this;
}
}
