public Slider(IUIStyle style) : base(style)
{
valueChangedSupport = new EventSupport <EventArgs>();
sliderHandle = new Button(UIStyle);
sliderHandle.AddStyleClass(SliderHandleStyleClass);
sliderHandle.Anchor = AnchoredRect.CreateLeftAnchored();
sliderHandle.MouseUp += OnMouseUp;
sliderHandle.MouseDown += OnMouseDown;
sliderHandle.MouseDragged += OnMouseDragged;
sliderTrack = new SliderTrack(UIStyle);
sliderTrack.Anchor = AnchoredRect.Full;
Group elements = new Group(UIStyle);
elements.Anchor = AnchoredRect.Full;
elements.Add(sliderTrack);
elements.Add(sliderHandle);
InternalContent = elements;
Focusable = true;
MinValue = 0;
MaxValue = 10;
Step = 1;
Value = 0;
}
public TextArea(IUIStyle style, IDocumentEditor <DocumentView <PlainTextDocument>, PlainTextDocument> editor) : base(style, editor)
{
ActionMap.Register(new KeyStroke(Keys.Enter), OnEnterPressed);
ActionMap.Register(new KeyStroke(Keys.PageUp), OnPageUpPressed);
ActionMap.Register(new KeyStroke(Keys.PageDown), OnPageDownPressed);
lineNumberRenderer = new LineNumberWidget(UIStyle);
lineNumberRenderer.AddNotify(this);
lineNumberRenderer.Anchor = AnchoredRect.CreateLeftAnchored();
lineNumberRenderer.DocumentView = Content;
RaiseChildAdded(0, lineNumberRenderer);
DisplayLineNumbers = true;
Caret.CaretChanged += OnCaretChanged;
}
