(gui) Diagram is not dirty if refinement has not been performed