public IAsyncAction RevealRangeAtTopAsync(IRange range) { return(this.SendScriptAsync("editor.revealRangeAtTop(JSON.parse('" + range.ToJson() + "'))").AsAsyncAction()); }
public IAsyncAction RevealRangeInCenterIfOutsideViewportAsync(IRange range) { return(this.SendScriptAsync("editor.revealRangeInCenterIfOutsideViewport(JSON.parse('" + range.ToJson() + "'))").AsAsyncAction()); }
public IAsyncAction RevealRangeInCenterAsync(IRange range) { return(SendScriptAsync("editor.revealRangeInCenter(JSON.parse('" + range.ToJson() + "'))").AsAsyncAction()); }