/// <summary> Static constructor for a horizontally oriented radio box. </summary> /// <param name="display">The display pointer, that specifies the connection to the X server. <see cref="IntPtr"/> </param> /// <param name="screenNumber"> The appropriate screen number on the host server. <see cref="System.Int32"/> </param> /// <param name="parentWindow"> The X11 *** parent *** window for X11 calls. This widget has no X11 *** own *** window. <see cref="IntPtr"/> </param> public static XrwRadioBox NewVRadioBox(IntPtr display, X11.TInt screenNumber, IntPtr parentWindow) { XrwRadioBox b = new XrwRadioBox(display, screenNumber, parentWindow); b._orientation = TOrientation.Vertical; return(b); }
/// <summary> Static constructor for a horizontally oriented radio box. </summary> /// <param name="display">The display pointer, that specifies the connection to the X server. <see cref="IntPtr"/> </param> /// <param name="screenNumber"> The appropriate screen number on the host server. <see cref="System.Int32"/> </param> /// <param name="parentWindow"> The X11 *** parent *** window for X11 calls. This widget has no X11 *** own *** window. <see cref="IntPtr"/> </param> public static XrwNotebook NewTopTabedNotebook(IntPtr display, X11.TInt screenNumber, IntPtr parentWindow) { XrwNotebook b = new XrwNotebook(display, screenNumber, parentWindow); b._orientation = TOrientation.Vertical; b.ExpandToAvailableHeight = false; b.ExpandToAvailableWidth = true; b.VertSpacing = 0; b._tabBox = XrwRadioBox.NewHRadioBox(display, screenNumber, parentWindow); b._tabBox.BorderWidth = 0; b._tabBox.ChildAlign = 0.0F; b._tabBox.FrameType = TFrameType.None; b._tabBox.FrameWidth = XrwTheme.NonInteractingFrameWidth; b._tabBox.HorzSpacing = 0; b._tabBox.VertSpacing = 0; b.BaseAddChild(b._tabBox); XrwSimple tail = new XrwSimple(display, screenNumber, parentWindow); tail.ExpandToAvailableWidth = true; tail.ExpandToAvailableHeight = true; tail.FrameWidth = 2; tail.FrameTypeExt = TFrameTypeExt.UnsunkenTopTabTail; b._tabBox.AddChild(tail); b._pageStack = new XrwStack(display, screenNumber, parentWindow); b._pageStack.BorderWidth = 0; b._pageStack.FrameTypeExt = Xrw.TFrameTypeExt.RaisedBottomTab; b._pageStack.FrameWidth = 2; b._pageStack.VertSpacing = 0; b._pageStack.ExpandToAvailableWidth = true; b.BaseAddChild(b._pageStack); return(b); }
/// <summary> Static constructor for a horizontally oriented radio box. </summary> /// <param name="display">The display pointer, that specifies the connection to the X server. <see cref="IntPtr"/> </param> /// <param name="screenNumber"> The appropriate screen number on the host server. <see cref="System.Int32"/> </param> /// <param name="parentWindow"> The X11 *** parent *** window for X11 calls. This widget has no X11 *** own *** window. <see cref="IntPtr"/> </param> public static XrwRadioBox NewHRadioBox(IntPtr display, X11.TInt screenNumber, IntPtr parentWindow) { XrwRadioBox b = new XrwRadioBox(display, screenNumber, parentWindow); return(b); }