[Monodevelop-devel] Text Editor API GetCharAt
Mike Krüger
mkrueger at xamarin.com
Fri Jun 20 17:16:41 UTC 2014
Hi
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).
Regards
Mike
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ximian.com/pipermail/monodevelop-devel-list/attachments/20140620/891ca9c4/attachment.html>
More information about the Monodevelop-devel-list
mailing list