| protected UndoChange ( MonoTextEditor fromEditor, MonoTextEditor toEditor, Hunk hunk ) : void | ||
| fromEditor | MonoTextEditor | |
| toEditor | MonoTextEditor | |
| hunk | Hunk | |
| return | void | |
protected override bool OnButtonPressEvent(EventButton evnt)
{
if (evnt.Button == 1 && !selectedHunk.IsEmpty)
{
widget.UndoChange(fromEditor, toEditor, selectedHunk);
}
return(base.OnButtonPressEvent(evnt));
}
protected override bool OnButtonPressEvent(EventButton evnt)
{
if (!evnt.TriggersContextMenu() && evnt.Button == 1 && !selectedHunk.IsEmpty)
{
widget.UndoChange(fromEditor, toEditor, selectedHunk);
return(true);
}
return(base.OnButtonPressEvent(evnt));
}
protected override bool OnButtonPressEvent(EventButton evnt)
{
if (!evnt.TriggersContextMenu() && evnt.Button == 1 && !selectedHunk.IsEmpty)
{
try {
widget.UndoChange(fromEditor, toEditor, selectedHunk);
} catch (Exception e) {
LoggingService.LogInternalError("Error while undoing widget change.", e);
}
return(true);
}
return(base.OnButtonPressEvent(evnt));
}
void PerformRevert(Hunk hunk)
{
try {
var selectedBounds = GetFocusedButton()?.Bounds;
widget.UndoChange(fromEditor, toEditor, hunk);
UpdateAccessiblity();
if (selectedBounds != null)
{
var nearestButton = GetNearestButton(selectedBounds.Value);
if (nearestButton != null)
{
nearestButton.Accessible.Focused = true;
}
else
{
Accessible.SetCurrentFocus();
}
}
} catch (Exception e) {
LoggingService.LogInternalError("Error while undoing widget change.", e);
}
}
