simon/yakindu @ 94b98027a74f9c0f612de5916062422277048e2c

Andreas Mülder d8de764db4 Added some highlighting for mouse over to indicate a clickable area		12 年之前
..
de.itemis.xtext.utils.gmf	d8de764db4 Added some highlighting for mouse over to indicate a clickable area	12 年之前
de.itemis.xtext.utils.jface	b2bdc4e5bd Bugfix: ChangeSelectionProviderOnFocusGain relies on open editor	12 年之前