Allows jEdit to function as a two-way diff tool.