protected static void SetCaretPosition(ITextControl textControl, NTriplesIntentionResult result)
{
if (result.PreferredSelection != DocumentRange.InvalidRange)
{
textControl.Selection.SetRange(result.PreferredSelection.TextRange);
}
}
protected static void SetCaretPosition(ITextControl textControl, NTriplesIntentionResult result)
{
if (result.PreferredSelection != DocumentRange.InvalidRange)
{
textControl.Selection.SetRange(result.PreferredSelection.TextRange);
}
}
protected virtual void OnHotspotSessionExecutionStartedInternal(NTriplesIntentionResult result, ITextControl textControl)
{
var hotspotSessionUi = this.HotspotSessionExecutor.CurrentSession;
if (hotspotSessionUi == null)
{
SetCaretPosition(textControl, result);
}
else
{
hotspotSessionUi.HotspotSession.Closed.Advise(
EternalLifetime.Instance,
args =>
{
if (args.TerminationType != TerminationType.Finished)
{
return;
}
SetCaretPosition(textControl, result);
});
}
}
protected virtual void OnHotspotSessionExecutionStartedInternal(NTriplesIntentionResult result, ITextControl textControl)
{
var hotspotSessionUi = this.HotspotSessionExecutor.CurrentSession;
if (hotspotSessionUi == null)
{
SetCaretPosition(textControl, result);
}
else
{
hotspotSessionUi.HotspotSession.Closed.Advise(
EternalLifetime.Instance,
args =>
{
if (args.TerminationType != TerminationType.Finished)
{
return;
}
SetCaretPosition(textControl, result);
});
}
}
public void OnHotspotSessionExecutionStarted(NTriplesIntentionResult result, ITextControl textControl)
{
this.OnHotspotSessionExecutionStartedInternal(result, textControl);
}
public void OnHotspotSessionExecutionStarted(NTriplesIntentionResult result, ITextControl textControl)
{
this.OnHotspotSessionExecutionStartedInternal(result, textControl);
}