예제 #1
0
        /// <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);
        }