- public Windows.UI.Color Foreground
- {
- get
- {
- return this.ForegroundColor;
- }
- set
- {
- this.ForegroundColor = value;
- this.common.Foreground = this.ToColor4(value);
- }
- }
-
- public Windows.UI.Color Background
- {
- get
- {
- return this.BackgroundColor;
- }
- set
- {
- this.BackgroundColor = value;
- this.common.Background = this.ToColor4(value);
- }
- }
-
- public Windows.UI.Color UpdateArea
- {
- get
- {
- return this.UpdateAreaColor;
- }
- set
- {
- this.UpdateAreaColor = value;
- this.common.UpdateArea = this.ToColor4(value);
- }
- }
-
- public Windows.UI.Color InsertCaret
- {
- get
- {
- return this.InsertCaretColor;
- }
- set
- {
- this.InsertCaretColor = value;
- this.common.InsertCaret = this.ToColor4(value);
- }
- }
-
- public Windows.UI.Color OverwriteCaret
- {
- get
- {
- return this.OverwriteCaretColor;
- }
- set
- {
- this.OverwriteCaretColor = value;
- this.common.OverwriteCaret = this.ToColor4(value);
- }
- }
-
- public Windows.UI.Color LineMarker
- {
- get
- {
- return this.LineMarkerColor;
- }
- set
- {
- this.LineMarkerColor = value;
- this.common.LineMarker = this.ToColor4(value);
- }
- }
-
- public Windows.UI.Color ControlChar
- {
- get
- {
- return this.ControlCharColor;
- }
- set
- {
- this.ControlCharColor = value;
- this.common.ControlChar = this.ToColor4(value);
- }
- }
-
- public Windows.UI.Color Url
- {
- get
- {
- return this.UrlColor;
- }
- set
- {
- this.UrlColor = value;
- this.common.Url = this.ToColor4(value);
- }
- }
-
- public Windows.UI.Color Hilight
- {
- get
- {
- return this.HilightColor;
- }
- set
- {
- this.HilightColor = value;
- this.HilightColor.A = 50;
- this.common.Hilight = this.ToColor4(this.HilightColor);
- }
- }
-
- public Windows.UI.Color Comment
- {
- get
- {
- return this.CommentColor;
- }
- set
- {
- this.CommentColor = value;
- this.common.Comment = this.ToColor4(value);
- }
- }
-
- public Windows.UI.Color Literal
- {
- get
- {
- return this.LiteralColor;
- }
- set
- {
- this.LiteralColor = value;
- this.common.Literal = this.ToColor4(value);
- }
- }
-
- public Windows.UI.Color Keyword1
- {
- get
- {
- return this.Keyword1Color;
- }
- set
- {
- this.Keyword1Color = value;
- this.common.Keyword1 = this.ToColor4(value);
- }
- }
-
- public Windows.UI.Color Keyword2
- {
- get
- {
- return this.Keyword2Color;
- }
- set
- {
- this.Keyword2Color = value;
- this.common.Keyword2 = this.ToColor4(value);
- }
- }
-
- public Rectangle TextArea
- {
- get { return this.common.ClipRect; }
- set { this.common.ClipRect = value; }
- }
-
- public double LineNemberWidth
- {
- get
- {
- return this.common.LineNemberWidth;
- }
- }
- public double FoldingWidth
- {
- get
- {
- return Math.Max(D2DRender.MiniumeWidth, this.common.FoldingWidth);
- }
- }
-
- public Size emSize
- {
- get
- {
- return this.common.emSize;
- }
- }
-
- public int TabWidthChar
- {
- get { return this.common.TabWidthChar; }
- set
- {
- if (value == 0)
- return;
- this.common.TabWidthChar = value;
- }
- }
-
- public event ChangedRenderResourceEventHandler ChangedRenderResource
- {
- add
- {
- this.common.ChangedRenderResource += value;
- }
- remove
- {
- this.common.ChangedRenderResource -= value;
- }
- }
-
- public event EventHandler ChangedRightToLeft
- {
- add
- {
- this.common.ChangedRightToLeft += value;
- }
- remove
- {
- this.common.ChangedRightToLeft -= value;
- }
- }
-
- public virtual void BeginDraw()
- {
- this.common.BegineDraw();
- }
-
- public virtual void EndDraw()
- {
- this.common.EndDraw();
- }
-
- public void DrawCachedBitmap(Rectangle rect)
- {
- //this.Common.DrawCachedBitmap(rect);
- }