return "\0";
}
- string pulled;
+ string pulled = "";
var i = 0;
while (i < n) {
if (this.cursor+i < this.length) {
var add = this.text[this.cursor+i]; //this.text.get_char(this.cursor+i).to_string();
- pulled += (string) add;
+ pulled += add.to_string();
i += 1;// add.length;
} else {
return "";