public SelectionKeyProcessor(TerminalPane owner, TerminalDocument doc, GLine line, int pos) { _owner = owner; _document = doc; Debug.Assert(line!=null); _currentLine = line; _caretPos = pos; }
public void WriteLine(GLine line) { }
public GLine Export() { GWord w = new GWord(_decorations[0]==null? TextDecoration.ClonedDefault() : _decorations[0], 0, GLine.CalcCharGroup(_text[0])); GLine line = new GLine(_text, w); line.EOLType = _eolType; int m = _text.Length; for(int offset=1; offset<m; offset++) { char ch = _text[offset]; if(ch=='\0') break; else if(ch==GLine.WIDECHAR_PAD) continue; TextDecoration dec = _decorations[offset]; if(_decorations[offset-1]!=dec || w.CharGroup!=GLine.CalcCharGroup(ch)) { if(dec==null) dec = TextDecoration.ClonedDefault(); //!!�{���͂�����null�ɂȂ��Ă���̂͂��肦�Ȃ��͂��B��Œ������邱�� GWord ww = new GWord(dec, offset, GLine.CalcCharGroup(ch)); w.Next = ww; w = ww; } } return line; }
//index�̈ʒu�̕\���]�����V����GLine��Ԃ� //inverse��false���ƁAGWord�̕����͂��邪Decoration�̔��]�͂��Ȃ��B�q�N�q�N���̑Ώ��Ƃ��Ď����B internal GLine InverseCaret(int index, bool inverse, bool underline) { ExpandBuffer(index+1); if(_text[index]==WIDECHAR_PAD) index--; GLine ret = new GLine(_text, null); ret.ID = _id; ret.EOLType = _eolType; GWord w = _firstWord; int nextoffset = 0; while(w!=null) { nextoffset = WordNextOffset(w); if(w.Offset<=index && index<nextoffset) { //!!tail���珇�ɘA���������������͂悢 if(w.Offset<index) { GWord head = new GWord(w.Decoration, w.Offset, w.CharGroup); ret.Append(head); } TextDecoration dec = (TextDecoration)w.Decoration.Clone(); if(inverse) { //�F���L�����b�g�̃T�|�[�g dec.ToCaretStyle(); } if(underline) dec.Underline = true; GWord mid = new GWord(dec, index, w.CharGroup); ret.Append(mid); if(index+CalcDisplayLength(_text[index]) < nextoffset) { GWord tail = new GWord(w.Decoration, index+CalcDisplayLength(_text[index]), w.CharGroup); ret.Append(tail); } } else ret.Append(w.StandAloneClone()); w = w.Next; } //!!���́A�L�����b�g�ʒu�ɃX�y�[�X������̂�Inverse�Ƃ͈Ⴄ�����ł��邩�番�����邱�� if(nextoffset<=index) { while(nextoffset<=index) { Debug.Assert(nextoffset < ret.Text.Length); ret.Text[nextoffset++] = ' '; } TextDecoration dec = TextDecoration.ClonedDefault(); if(inverse) { dec.ToCaretStyle(); } if(underline) dec.Underline = true; ret.Append(new GWord(dec, index, CharGroup.SingleByte)); } return ret; }
/// <summary> /// �����Ɠ�����e�ŏ���������Bline�̓�e�͔j��Ȃ��B /// ������null�̂Ƃ��͈����Ȃ��̃R���X�g���N�^�Ɠ������ʂɂȂ�B /// </summary> public void Load(GLine line, int cc) { if(line==null) { //���ꂪnull�ɂȂ��Ă���Ƃ����v���Ȃ��N���b�V�����|�[�g���������B�{���͂Ȃ��͂��Ȃ�... Clear(80); return; } Clear(line.Length); GWord w = line.FirstWord; Debug.Assert(line.Text.Length==_text.Length); Array.Copy(line.Text, 0, _text, 0, _text.Length); int n = 0; while(w != null) { int nextoffset = line.WordNextOffset(w); while(n < nextoffset) _decorations[n++] = w.Decoration; w = w.Next; } _eolType = line.EOLType; ExpandBuffer(cc+1); this.CaretColumn = cc; //' '�Ŗ��߂邱�Ƃ����̂Ńv���p�e�B�Z�b�g��g�� }
public bool ProcessKey(Keys key) { Keys body = key & Keys.KeyCode; bool shift = (key & Keys.Shift) != Keys.None; bool control = (key & Keys.Control) != Keys.None; bool processed = false; //�ړ���̍s�ƌ��̌v�Z GLine nextLine = _currentLine; _document.InvalidateLine(nextLine.ID); if(body==Keys.Up) { if(_currentLine.PrevLine!=null) nextLine = _currentLine.PrevLine; _document.InvalidateLine(nextLine.ID); processed = true; } else if(body==Keys.Down) { if(_currentLine.NextLine!=null) nextLine = _currentLine.NextLine; _document.InvalidateLine(nextLine.ID); processed = true; } else if(body==Keys.PageUp) { int n = _currentLine.ID - _owner.Connection.TerminalHeight; nextLine = n<=_document.FirstLineNumber? _document.FirstLine : _document.FindLine(n); _document.InvalidateAll(); processed = true; } else if(body==Keys.PageDown) { int n = _currentLine.ID + _owner.Connection.TerminalHeight; nextLine = n>=_document.LastLineNumber? _document.LastLine : _document.FindLine(n); _document.InvalidateAll(); processed = true; } int nextPos = _caretPos; if(body==Keys.Home) { nextPos = 0; processed = true; } else if(body==Keys.End) { nextPos = _currentLine.CharLength-1; processed = true; } else if(body==Keys.Left) { if(nextPos>0) { if(control) nextPos = _currentLine.FindPrevWordBreak(nextPos-1)+1; else nextPos--; } processed = true; } else if(body==Keys.Right) { if(nextPos<_currentLine.CharLength-1) { if(control) nextPos = _currentLine.FindNextWordBreak(nextPos+1); else nextPos++; } processed = true; } //�I��̈�̒��� TextSelection sel = GEnv.TextSelection; if(shift && processed) { if(sel.IsEmpty) sel.StartSelection(_owner, _currentLine, _caretPos, RangeType.Char, -1, -1); sel.ExpandTo(nextLine, nextPos, RangeType.Char); } else if(processed || body==Keys.Menu || body==Keys.ControlKey || body==Keys.ShiftKey) { if(processed) sel.Clear(); processed = true; } else { //��ʃL�[�̓��͂��������瑦���I���� sel.Clear(); } Debug.Assert(nextLine!=null); _currentLine = nextLine; _caretPos = nextPos; return processed; }
public abstract void AddLine(GLine line);
public void WriteLine(GLine line) { if (!_parent.LogSuspended) { _logger.WriteLine(line); string s = new string(line.Text).Trim('\0');//edited by xavier //Trace.Write(s); Trace.Write("\r");//edited by xavier log.Info(_controlName + ": " + s); //log.Info("\r");//edited by xavier } }
internal void Remove(GLine line) { if(_size<=1) { Clear(); return; } if(line.PrevLine!=null) { line.PrevLine.NextLine = line.NextLine; } if(line.NextLine!=null) { line.NextLine.PrevLine = line.PrevLine; } if(line==_firstLine) _firstLine = line.NextLine; if(line==_lastLine) _lastLine = line.PrevLine; if(line==_topLine) { _topLine = line.NextLine; } if(line==_currentLine) { _currentLine = line.NextLine; if(_currentLine==null) _currentLine = _lastLine; } _size--; _invalidatedAll = true; }
/// <summary> /// �Ō��remain�s�ȑO��폜���� /// </summary> internal int DiscardOldLines(int remain) { int delete_count = _size - remain; if(delete_count <= 0) return 0; GLine newfirst = _firstLine; for(int i=0; i<delete_count; i++) newfirst = newfirst.NextLine; //�V�����擪����߂� _firstLine = newfirst; newfirst.PrevLine.NextLine = null; newfirst.PrevLine = null; _size -= delete_count; Debug.Assert(_size==remain); AssertValid(); if(_topLine.ID<_firstLine.ID) _topLine=_firstLine; if(_currentLine.ID<_firstLine.ID) { _currentLine = _firstLine; _caretColumn = 0; } return delete_count; }
internal void Clear() { _caretColumn = 0; _firstLine = null; _lastLine = null; _size = 0; AddLine(new GLine(_connection.TerminalWidth)); }
//�����ɒlj����� internal void AddLine(GLine line) { if(_firstLine==null) { //���� _firstLine = line; _lastLine = line; _currentLine = line; _topLine = line; _size = 1; line.ID = 0; InvalidateLine(0); } else { //�ʏ�̒lj� Debug.Assert(_lastLine.NextLine==null); int lastID = _lastLine.ID; _lastLine.NextLine = line; line.PrevLine = _lastLine; _lastLine = line; line.ID = lastID+1; _size++; InvalidateLine(lastID+1); } }
//�Đڑ��p�Ɍ��݃h�L�������g�̑O�ɑ}�� public void InsertBefore(TerminalDocument olddoc, int paneheight) { lock(this) { GLine c = olddoc.LastLine; int offset = _currentLine.ID - _topLine.ID; bool flag = false; while(c!=null) { if(flag || c.Text[0]!='\0') { flag = true; GLine nl = c.Clone(); nl.ID = _firstLine.ID-1; InsertBefore(_firstLine, nl); //�ŏ��ɋ�łȂ��s������Έȍ~�͑S���}�� offset++; } c = c.PrevLine; } //ID�����ɂȂ�̂͂�����ƕ|���̂ŏC�� if(_firstLine.ID<0) { int t = -_firstLine.ID; c = _firstLine; while(c!=null) { c.ID += t; c = c.NextLine; } } _topLine = FindLineOrEdge(_currentLine.ID - Math.Min(offset, paneheight)); //Dump("insert doc"); } }
internal bool StartSelection(TerminalPane owner, GLine line, int position, RangeType type, int x, int y) { Debug.Assert(owner!=null); Debug.Assert(position>=0); line.ExpandBuffer(position+1); _disabledTemporary = false; _owner = owner; _pivotType = type; _forwardPivot._line = line.ID; _backwardPivot._line = line.ID; _forwardDestination._line = line.ID; _forwardDestination._position = position; _backwardDestination._line = line.ID; _backwardDestination._position = position; switch(type) { case RangeType.Char: _forwardPivot._position = position; _backwardPivot._position = position; break; case RangeType.Word: _forwardPivot._position = line.FindPrevWordBreak(position)+1; _backwardPivot._position = line.FindNextWordBreak(position); break; case RangeType.Line: _forwardPivot._position = 0; _backwardPivot._position = line.CharLength; break; } _state = SelectionState.Pivot; _startX = x; _startY = y; return true; }
internal bool ExpandTo(GLine line, int position, RangeType type) { line.ExpandBuffer(position+1); _disabledTemporary = false; _state = SelectionState.Expansion; _forwardDestination._line = line.ID; _backwardDestination._line = line.ID; //Debug.WriteLine(String.Format("ExpandTo Line{0} Position{1}", line.ID, position)); switch(type) { case RangeType.Char: _forwardDestination._position = position; _backwardDestination._position = position; break; case RangeType.Word: _forwardDestination._position = line.FindPrevWordBreak(position)+1; _backwardDestination._position = line.FindNextWordBreak(position); break; case RangeType.Line: _forwardDestination._position = 0; _backwardDestination._position = line.CharLength; break; } return true; }
private void InsertBefore(GLine pos, GLine line) { if(pos.PrevLine!=null) pos.PrevLine.NextLine = line; line.PrevLine = pos.PrevLine; line.NextLine = pos; pos.PrevLine = line; if(pos==_firstLine) _firstLine = line; _size++; _invalidatedAll = true; }
internal void RemoveAfter(int from) { if(from > _lastLine.ID) return; GLine delete = FindLineOrEdge(from); if(delete==null) return; GLine remain = delete.PrevLine; delete.PrevLine = null; if(remain==null) { Clear(); } else { remain.NextLine = null; _lastLine = remain; while(delete!=null) { _size--; if(delete==_topLine) _topLine = remain; if(delete==_currentLine) _currentLine = remain; delete = delete.NextLine; } } AssertValid(); _invalidatedAll = true; }
public abstract void AddLine(GLine line);
internal void Replace(GLine target, GLine newline) { newline.NextLine = target.NextLine; newline.PrevLine = target.PrevLine; if(target.NextLine!=null) target.NextLine.PrevLine = newline; if(target.PrevLine!=null) target.PrevLine.NextLine = newline; if(target==_firstLine) _firstLine = newline; if(target==_lastLine) _lastLine = newline; if(target==_topLine) _topLine = newline; if(target==_currentLine) _currentLine = newline; newline.ID = target.ID; InvalidateLine(newline.ID); AssertValid(); }
internal void ReplaceCurrentLine(GLine line) { #if DEBUG Replace(_currentLine, line); AssertValid(); #else if(_currentLine!=null) //�N���b�V�����|�[�g��݂�ƁA�����̔��q��null�ɂȂ��Ă����Ƃ����v���Ȃ� Replace(_currentLine, line); #endif }
internal void ScrollDown(int from, int to) { GLine top = FindLineOrEdge(from); GLine bottom = FindLineOrEdge(to); int top_id = top.ID; GLine newtop = top.NextLine; if(from==to) { _currentLine = top; _currentLine.Clear(); } else { Remove(top); //_topLine�̒����͕K�v�Ȃ炱���ōs���� _currentLine = new GLine(_connection.TerminalWidth); InsertAfter(bottom, _currentLine); //id maintainance GLine c = newtop; GLine end = _currentLine.NextLine; while(c != end) { c.ID = top_id++; c = c.NextLine; } } AssertValid(); _invalidatedAll = true; }
public void WriteLine(GLine line) { if(!_parent.LogSuspended) _logger.WriteLine(line); }
internal void ScrollUp(int from, int to) { GLine top = FindLineOrEdge(from); GLine bottom = FindLineOrEdge(to); if(top==null || bottom==null) return; //�G���[�n���h�����O��FindLine�̒��ŁB�����ł̓N���b�V����������s�� int bottom_id = bottom.ID; int topline_id = _topLine.ID; GLine nextbottom = bottom.NextLine; if(from==to) { _currentLine = top; _currentLine.Clear(); } else { Remove(bottom); _currentLine = new GLine(_connection.TerminalWidth); InsertBefore(top, _currentLine); GLine c = _currentLine; do { c.ID = from++; c = c.NextLine; } while(c!=nextbottom); Debug.Assert(nextbottom==null || nextbottom.ID==from); } /* //id maintainance GLine c = newbottom; GLine end = _currentLine.PrevLine; while(c != end) { c.ID = bottom_id--; c = c.PrevLine; } */ //!!���̂Q�s��xterm�����Ă���Ԃɔ������ďC���B VT100�ł͉����̕K�v�������Ă����Ȃ����͂��Ȃ̂Ō�Œ��ׂ邱�� //if(_scrollingTop<=_topLine.ID && _topLine.ID<=_scrollingBottom) // _topLine = _currentLine; while(topline_id<_topLine.ID) _topLine = _topLine.PrevLine; AssertValid(); _invalidatedAll = true; }
public GLine Clone() { GLine nl = new GLine(_text, _firstWord.DeepClone()); nl._eolType = _eolType; nl._id = _id; return nl; }
private GLine FindLineByHint(int index, GLine hintLine) { int h = hintLine.ID; GLine l = hintLine; if(index >= h) { for(int i=h; i<index; i++) { l = l.NextLine; if(l==null) FindLineByHintFailed(index, hintLine); } } else { for(int i=h; i>index; i--) { l = l.PrevLine; if(l==null) FindLineByHintFailed(index, hintLine); } } return l; }
internal GLine InverseRange(int from, int to) { ExpandBuffer(Math.Max(from+1,to)); //���������T�C�Y�����Ƃ��Ȃǂɂ��̏�����������Ȃ����Ƃ����� Debug.Assert(from>=0 && from<_text.Length); if(from<_text.Length && _text[from]==WIDECHAR_PAD) from--; if(to>0 && to-1<_text.Length && _text[to-1]==WIDECHAR_PAD) to--; GLine ret = new GLine(_text, null); ret.ID = _id; ret.EOLType = _eolType; //�����̔z���Z�b�g TextDecoration[] dec = new TextDecoration[_text.Length]; GWord w = _firstWord; while(w!=null) { Debug.Assert(w.Decoration!=null); dec[w.Offset] = w.Decoration; w = w.Next; } //���]�J�n�_ TextDecoration original = null; TextDecoration inverse = null; for(int i=from; i>=0; i--) { if(dec[i]!=null) { original = dec[i]; break; } } Debug.Assert(original!=null); inverse = (TextDecoration)original.Clone(); inverse.Inverse(); dec[from] = inverse; //�͈͂ɓn���Ĕ��]��� for(int i=from+1; i<to; i++) { if(i<dec.Length && dec[i]!=null) { original = dec[i]; inverse = (TextDecoration)original.Clone(); inverse.Inverse(); dec[i] = inverse; } } if(to<dec.Length && dec[to]==null) dec[to] = original; //����ɏ]����GWord���� w = null; for(int i=dec.Length-1; i>=0; i--) { char ch = _text[i]; if(dec[i]!=null && ch!='\0') { int j = i; if(ch==WIDECHAR_PAD) j++; GWord ww = new GWord(dec[i], j, CalcCharGroup(ch)); ww.Next = w; w = ww; } } ret.Append(w); return ret; }
//FindLineByHint�͂����Ύ��s����̂Ńf�o�b�O�p�Ɍ��ݏ�Ԃ�_���v private void FindLineByHintFailed(int index, GLine hintLine) { #if DEBUG Dump(String.Format("FindLine {0}, hint_id={1}", index, hintLine.ID)); Debugger.Break(); #endif GEnv.InterThreadUIService.InvalidDocumentOperation(this, GEnv.Strings.GetString("Message.TerminalDocument.UnexpectedCode")); }
public override void WriteLine(GLine line) { char[] t = line.Text; for(int i=0; i<line.CharLength; i++) { char ch = t[i]; if(ch!=GLine.WIDECHAR_PAD) _writer.Write(ch); } _writer.WriteLine(); //_writer.WriteLine(line.Text, 0, line.CharLength); }
private void InsertAfter(GLine pos, GLine line) { if(pos.NextLine!=null) pos.NextLine.PrevLine = line; line.NextLine = pos.NextLine; line.PrevLine = pos; pos.NextLine = line; if(pos==_lastLine) _lastLine = line; _size++; _invalidatedAll = true; }
//!!�s�P�ʂ̏������� ���͕W���Ƃ���ȊO�ł̓��O�̈������ɋ��ʓ_�����܂�Ȃ��̂ɋ����Ɉ�̃N���X�ɂ܂Ƃ߂悤�Ƃ��ă{�����ł� public virtual void WriteLine(GLine line) { }
public bool ProcessKey(Keys key) { Keys body = key & Keys.KeyCode; bool shift = (key & Keys.Shift) != Keys.None; bool control = (key & Keys.Control) != Keys.None; bool processed = false; //移動先の行と桁の計算 GLine nextLine = _currentLine; _document.InvalidateLine(nextLine.ID); if (body == Keys.Up) { if (_currentLine.PrevLine != null) { nextLine = _currentLine.PrevLine; } _document.InvalidateLine(nextLine.ID); processed = true; } else if (body == Keys.Down) { if (_currentLine.NextLine != null) { nextLine = _currentLine.NextLine; } _document.InvalidateLine(nextLine.ID); processed = true; } else if (body == Keys.PageUp) { int n = _currentLine.ID - _owner.Connection.TerminalHeight; nextLine = n <= _document.FirstLineNumber? _document.FirstLine : _document.FindLine(n); _document.InvalidateAll(); processed = true; } else if (body == Keys.PageDown) { int n = _currentLine.ID + _owner.Connection.TerminalHeight; nextLine = n >= _document.LastLineNumber? _document.LastLine : _document.FindLine(n); _document.InvalidateAll(); processed = true; } int nextPos = _caretPos; if (body == Keys.Home) { nextPos = 0; processed = true; } else if (body == Keys.End) { nextPos = _currentLine.CharLength - 1; processed = true; } else if (body == Keys.Left) { if (nextPos > 0) { if (control) { nextPos = _currentLine.FindPrevWordBreak(nextPos - 1) + 1; } else { nextPos--; } } processed = true; } else if (body == Keys.Right) { if (nextPos < _currentLine.CharLength - 1) { if (control) { nextPos = _currentLine.FindNextWordBreak(nextPos + 1); } else { nextPos++; } } processed = true; } //選択領域の調整 TextSelection sel = GEnv.TextSelection; if (shift && processed) { if (sel.IsEmpty) { sel.StartSelection(_owner, _currentLine, _caretPos, RangeType.Char, -1, -1); } sel.ExpandTo(nextLine, nextPos, RangeType.Char); } else if (processed || body == Keys.Menu || body == Keys.ControlKey || body == Keys.ShiftKey) { if (processed) { sel.Clear(); } processed = true; } else { //一般キーの入力があったら即時選択解除 sel.Clear(); } Debug.Assert(nextLine != null); _currentLine = nextLine; _caretPos = nextPos; return(processed); }