{
get
{
- return this.View.MarkerPatternSet;
+ return this.Document.MarkerPatternSet;
}
}
{
get
{
- return this.View.DrawLineNumber;
+ return this.Document.DrawLineNumber;
}
set
{
- this.View.DrawLineNumber = value;
- this.JumpCaret(this.CaretPostion.row,this.CaretPostion.col);
+ this.Document.DrawLineNumber = value;
}
}
{
get
{
- return !this.View.HideRuler;
+ return !this.Document.HideRuler;
}
set
{
- this.View.HideRuler = !value;
+ this.Document.HideRuler = !value;
this.JumpCaret(this.CaretPostion.row, this.CaretPostion.col);
}
}
{
get
{
- return this.View.LineBreak;
+ return this.Document.LineBreak;
}
set
{
- this.View.LineBreak = value;
+ this.Document.LineBreak = value;
}
}
{
get
{
- return this.View.LineBreakCharCount;
+ return this.Document.LineBreakCharCount;
}
set
{
- this.View.LineBreakCharCount = value;
+ this.Document.LineBreakCharCount = value;
}
}
{
get
{
- return this.View.UrlMark;
+ return this.Document.UrlMark;
}
set
{
- this.View.UrlMark = value;
+ this.Document.UrlMark = value;
}
}
[DefaultValue(4)]
public int TabStops
{
- get { return this.View.TabStops; }
+ get { return this.Document.TabStops; }
set {
- this.View.TabStops = value;
+ this.Document.TabStops = value;
this.View.AdjustCaretAndSrc();
this.TabStopChange(this, null);
}
{
get
{
- return this.render.ShowFullSpace;
+ return this.Document.ShowFullSpace;
}
set
{
- this.render.ShowFullSpace = value;
+ this.Document.ShowFullSpace = value;
}
}
{
get
{
- return this.render.ShowHalfSpace;
+ return this.Document.ShowHalfSpace;
}
set
{
- this.render.ShowHalfSpace = value;
+ this.Document.ShowHalfSpace = value;
}
}
{
get
{
- return this.render.ShowTab;
+ return this.Document.ShowTab;
}
set
{
- this.render.ShowTab = value;
+ this.Document.ShowTab = value;
}
}
{
get
{
- return this.render.ShowLineBreak;
+ return this.Document.ShowLineBreak;
}
set
{
- this.render.ShowLineBreak = value;
+ this.Document.ShowLineBreak = value;
}
}
[BrowsableAttribute(false)]
public TextPoint CaretPostion
{
- get { return this.View.CaretPostion; }
+ get { return this.Document.CaretPostion; }
}
/// <summary>
if (e.Control)
this.Controller.JumpToHead(e.Shift);
else
- this.Controller.JumpToLineHead(this.View.CaretPostion.row, e.Shift);
+ this.Controller.JumpToLineHead(this.Document.CaretPostion.row, e.Shift);
this.Refresh();
break;
case Keys.End:
if (e.Control)
this.Controller.JumpToEnd(e.Shift);
else
- this.Controller.JumpToLineEnd(this.View.CaretPostion.row, e.Shift);
+ this.Controller.JumpToLineEnd(this.Document.CaretPostion.row, e.Shift);
this.Refresh();
break;
case Keys.Tab:
void Timer_Tick(object sender,EventArgs e)
{
- if (this.View.CaretPostion.row >= this.View.LayoutLines.Count || DesignMode)
+ if (this.Document.CaretPostion.row >= this.View.LayoutLines.Count || DesignMode)
return;
- ITextLayout layout = this.View.LayoutLines.GetLayout(this.View.CaretPostion.row);
+ ITextLayout layout = this.View.LayoutLines.GetLayout(this.Document.CaretPostion.row);
Size redrawSize = new Size();
- redrawSize.Width = layout.GetWidthFromIndex(this.View.CaretPostion.col);
+ redrawSize.Width = layout.GetWidthFromIndex(this.Document.CaretPostion.col);
if (redrawSize.Width == 0.0)
redrawSize.Width = this.View.CaretWidthOnInsertMode;
redrawSize.Height = layout.Height;