[Monodevelop-devel] Text Editor API GetCharAt
jeff at xamarin.com
Fri Jun 20 17:27:17 UTC 2014
I like the API change you are suggesting.
On Fri, Jun 20, 2014 at 1:16 PM, Mike Krüger <mkrueger at xamarin.com> wrote:
> I'm currently reviewing the text editor API. We've a method called:
> public char GetCharAt (int
> span class="n" style="box-sizing: border-box; color: rgb(51, 51, 51);">offset)
> And atm I think about replacing it with :
> public char this[int offset]
> Maybe even add a setter to that - then the editor may feel a bit more like
> a string from a certain PoV.
> The question is: Is that a good or bad choice - how are you feeling about
> it ?
> The text editor has 3 layers: Text, Document and Editor - each layer adds
> something on top of the text. The GetCharAt is a functionality from the
> Text. On this level there is just text. I think the indexer makes sense
> there. But how about the upper layers? At Document level the editor becomes
> a collection of lines as well.
> I would love to hear some opinions. (About the speed: In this is a very
> lightweight operation - in our current Implementation it's done in O(1) in
> the worst case I can imagine that it becomes an O(log N) one).
> Monodevelop-devel-list mailing list
> Monodevelop-devel-list at lists.ximian.com
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Monodevelop-devel-list