Tim Stone
Tim Stone
This is a custom highlighter that does some SEDE-specific stuff on top of TSQL, but there might be a better way of doing it now that would allow taking upstream...
Yeah, my only concern with having done this before was running into situations where you'd be throttled by the API. This isn't really a concern when you have to be...
Opera was throwing additional events related to the CTRL and arrow keys that weren't being taken into consideration by the keyboard navigation handlers. I've updated the script to consider these...
Gah, you're right. Sorry, I thought I tested that case. I'll fix the problem here shortly.
Yes, actually! I'll have a fix pushed out sometime before Sunday (hopefully sooner, but just in case)
Hmm, I could see how that might be useful. You can of course create the Markdown yourself and the script will respect it, but I'll take a look at making...
Whoops, missed this when it was originally posted, sorry! The script does try to protect against this, but the mechanism changed a little out from underneath it. Will get it...
Thanks for the feedback! I don't use this particular feature myself, but from the way you've described it the change definitely seems reasonable. I'll take a closer look at it...
Yeah, the way we display that information now is kind of ugly too. There's definitely room for improvement, so this is something I'd be happy to discuss.
I added the code to support this now (not yet pushed), but the actual help texts will still need to be added.