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;
}
