[obs-commits] [PATCH] [webui] Make the editor border configurable and only use that for the source diff.