Alex

From VC

This can replace the warnings log entirely imo

Note that different compilers report errors/warnings differently. We only need to look for "src.c" and grab the line number (& potentially column number with IDO). Gcc281 (only lines 2 and...

Opinions wanted - should we ignore warnings originating from the context?

Possibly by clicking/selecting line number(s) in the gutter

> Easiest done JS-side. This would require writing the diffing algorithm in JS too, no? Right now the frontend literally just spits out the HTML that diff.py on the server...

Oh, I see... you mean remember the very first diff.py result and compare against that! I assumed something a little crazier (that is, running objdump in the browser) :shipit: I...

Ah, I see. Comparing it against the saved version is better, yes. If we ever added a kind of version history feature it would work with that, too, which would...

The frontend supports three-way diffs already; the server just needs to return JSON with `previous` keys.

Related to #361