public void SetCursor(CursorType type)
{
GCursorType gtype;
switch (type)
{
case CursorType.Arrow:
gtype = GCursorType.Arrow;
break;
case CursorType.DoubleArrow:
gtype = GCursorType.SbHDoubleArrow;
break;
case CursorType.Selection:
gtype = GCursorType.Fleur;
break;
case CursorType.Cross:
gtype = GCursorType.Cross;
break;
default:
gtype = GCursorType.Arrow;
break;
}
widget.GdkWindow.Cursor = new Cursor(gtype);
}
public void SetCursor(CursorType type)
{
GCursorType gtype;
switch (type) {
case CursorType.Arrow:
gtype = GCursorType.Arrow;
break;
case CursorType.DoubleArrow:
gtype = GCursorType.SbHDoubleArrow;
break;
case CursorType.Selection:
gtype = GCursorType.Fleur;
break;
case CursorType.Cross:
gtype = GCursorType.Cross;
break;
default:
gtype = GCursorType.Arrow;
break;
}
widget.GdkWindow.Cursor = new Cursor (gtype);
}
