Server-side syntax highlighting occasionally takes too long (when files are sufficiently large), to the extent that AJAX requests time out. Moving our highlighting machinery from the server-side to clients would resolve this issue, and spare us a lot of cumulative processing.
Server-side syntax highlighting occasionally takes too long (when files are sufficiently large), to the extent that
AJAXrequests time out. Moving our highlighting machinery from the server-side to clients would resolve this issue, and spare us a lot of cumulative processing.