Method setUseDiffColors

src/main/java/matcher/gui/Gui.java:426–434

(boolean useDiffColors)

	}

	public void setUseDiffColors(boolean useDiffColors) {
		if (this.useDiffColors == useDiffColors) return;

		this.useDiffColors = useDiffColors;

		for (IGuiComponent c : components) {
			c.onViewChange(ViewChangeCause.DIFF_COLORS_TOGGLED);
		}
	}

	public NameType getNameType() {
		return nameType;