DORMANTno replies

[PATCH] Button added to performs a GUI diff

From: Pierre Marc Dumuid <hidden>
Date: 2016-06-15 22:43:34

Here is an updated version of the previous patch to handle the various 
GUI merging tools.

Pierre