Bug 540599

Summary:	DOT Editor - *.dot file save triggers rebuild
Product:	[Tools] GEF	Reporter:	Ed Willink <ed>
Component:	GEF DOT	Assignee:	gef-inbox <gef-inbox>
Status:	NEW ---	QA Contact:
Severity:	normal
Priority:	P3	CC:	miklossy, nyssen
Version:	unspecified
Target Milestone:	---
Hardware:	PC
OS:	Windows 10
Whiteboard:

Description Ed Willink

2018-10-30 05:38:27 EDT

The DOT file editor is a 'standard' Xtext editor, consequently it uses the costly Xtext index as can be seen by a major rebuild starting when a *.dot file edit is saved. The Xtext index should be disabled for *.dot files since who would use a *.dor faile as a souce file for a build?

Comment 1 Alexander Nyßen

2018-10-30 14:09:17 EDT

I don't think is valid to state that the Xtext index is related to source files of a build only. It is used to establish links between different Xtext resources based on node names. As .dot files are - at least to my knowledge - self-contained it may nevertheless be valid to disable the index because of this.