Jonathan Pan

@gstark0 @jonorthwash Doesn't happen to me either. On a side note, correct me if I am wrong, but is this not a fully annotated tree, i.e. didn't add anything under...

@gstark0 Yeah, that was what I was talking about.

Ahh, okay.

I took a look and it deals with the heights really nicely. ~~It doesn't support some things like multi-word tokens~~ (it does) and the editing features can be improved (like...

So my current highly unefficient workaround is to copy the html file I'm changing (luckily I'm only changing one), then run `npm run build` (which will compile the js parts...

Ah, okay. So instead of changing the html files in /server/public/html, what we actually need to change is the corresponding .ejs files in /server/views.

@keggsmurph21 go ahead. I disabled my own linter (was using eslint) when doing my work.

@keggsmurph21 My PR got merged. Could you help me with formatting the files that I changed? I was unfortunately not able to get clang-format working on my computer.

@jonorthwash I believe this is not an issue any longer.  

Just in the tree editing interface.