private void AddButton(MarkerButton[] buttons, DiffEditorButtonType type, IDiffMarker editMarker) { int top = editMarker.Line * _viewPort.LineHeight; int height = editMarker.Length * _viewPort.LineHeight; int left; switch (type) { case DiffEditorButtonType.CopyLeft: left = 0; break; case DiffEditorButtonType.DeleteLeft: left = ButtonWidth + 1; break; case DiffEditorButtonType.DeleteRight: left = Width - (ButtonWidth * 2 + 1); break; case DiffEditorButtonType.CopyRight: left = Width - ButtonWidth; break; default: throw new InvalidOperationException(); } buttons[(int)type] = new MarkerButton(type, new Rectangle(left, top, ButtonWidth, height)); }
public Marker(IDiffMarker editMarker, MarkerButton[] buttons) { EditMarker = editMarker; Buttons = buttons; switch (editMarker.Type) { case DiffMarkerType.Added: Color = DiffColor.Added; break; case DiffMarkerType.Removed: Color = DiffColor.Removed; break; case DiffMarkerType.Changed: Color = DiffColor.Changed; break; } }
private void RemoveMarker(IDiffMarker marker, int removeLength) { int index = _markers.IndexOf(marker); _markers.RemoveAt(index); if (removeLength > 0) { _visibleLines -= removeLength; for (int i = index; i < _markers.Count; i++) { ((DiffMarker)_markers[i]).Line -= removeLength; } } _markerMap.SetMarkers(_markers, _visibleLines); if (!_readOnly) { _editor.SetMarkers(_markers, _visibleLines); } }
private void RemoveMarker(IDiffMarker marker, int removeLength) { int index = _markers.IndexOf(marker); _markers.RemoveAt(index); if (removeLength > 0) { _visibleLines -= removeLength; for (int i = index; i < _markers.Count; i++) { ((DiffMarker)_markers[i]).Line -= removeLength; } } _markerMap.SetMarkers(_markers, _visibleLines); if (!_readOnly) _editor.SetMarkers(_markers, _visibleLines); }
public Marker(IDiffMarker editMarker, MarkerButton[] buttons) { EditMarker = editMarker; Buttons = buttons; switch (editMarker.Type) { case DiffMarkerType.Added: Color = DiffColor.Added; break; case DiffMarkerType.Removed: Color = DiffColor.Removed; break; case DiffMarkerType.Changed: Color = DiffColor.Changed; break; } }
private void AddButton(MarkerButton[] buttons, DiffEditorButtonType type, IDiffMarker editMarker) { int top = editMarker.Line * _viewPort.LineHeight; int height = editMarker.Length * _viewPort.LineHeight; int left; switch (type) { case DiffEditorButtonType.CopyLeft: left = 0; break; case DiffEditorButtonType.DeleteLeft: left = ButtonWidth + 1; break; case DiffEditorButtonType.DeleteRight: left = Width - (ButtonWidth * 2 + 1); break; case DiffEditorButtonType.CopyRight: left = Width - ButtonWidth; break; default: throw new InvalidOperationException(); } buttons[(int)type] = new MarkerButton(type, new Rectangle(left, top, ButtonWidth, height)); }
public DiffEditorButtonEventArgs(IDiffMarker marker, DiffEditorButtonType type) { Marker = marker; Type = type; }
public DiffEditorButtonEventArgs(IDiffMarker marker, DiffEditorButtonType type) { Marker = marker; Type = type; }