Where do I find the latest TextEditor?

I’m trying to implement a custom TextEditor for our use case. I found this implementation but looks like tool property doesn’t exist on the new go.HTMLInfo(); anymore.

I’m using TypeScript so these are some of the errors:

const TextEditor = new go.HTMLInfo();
const tool = TextEditor.tool;
//                      ^ Property 'tool' does not exist on type 'HTMLInfo'

const scale = textarea.textScale;
//                     ^ Property 'textScale' does not exist on type 'HTMLTextAreaElement'

Should I be suppressing the TS errors here or is there a newer implementation that matches the types?

I think this kinda solves my problem. Let me try before you guys attempt to answer this.

Yes, extensions/TextEditor.js is the latest script source code for the built-in text editor.

However, if you want TypeScript sources, you might be interested to know that that file is one compiled version of extensionsJSM/TextEditor.ts.

Thanks Walter. I think I’m gonna go a different route for my use case. I’ll post a new question since that’s a bit different.