Michael Lehenbauer

Perhaps this will help (add it in firepad.js somewhere): Firepad.prototype.getOperationForSpan = function(start, end) { var text = this.richTextCodeMirror_.getRange(start, end); var spans = this.richTextCodeMirror_.getAttributeSpans(start, end); var pos = 0; var op...

I think @iclems made progress on this at one point. Hopefully he'll chime in. :-)

Hrm. I don't see anything obvious from that screenshot. Looks like the bulk of the expanded time actually ends up in markText(), which is a CodeMirror API... but maybe firepad...

Hrm. Definitely interesting that the setHtml is taking longer than initial load. That probably suggests there's some improvement that could be made like wrapping it in a CodeMirror operation as...

Awesome, thanks for reporting back! Would love to see that PR if/when you have time. :-) On Tue, Feb 9, 2016 at 10:06 AM, Daniel Schwartz [email protected] wrote: > @mikelehen...

Can you provide more details? That definitely shouldn't be the case.

Ah! Yes, I didn't actually realize it but it looks like the pads get wiped nightly. We should indeed update the text to make that more clear. Sorry for the...

No specific limit (20 people should be fine). But as noted above, those pads are meant for demo purposes only and get deleted every day, so it is not a...

Same time every day. I don't actually know what time it happens. Sorry.

Yeah... Basically, if the indent happens in a single "operation", then it'll be undone in a single operation. But in rich-text mode, we don't do it in a single operation...