simon/yakindu @ 07c8e170deb3b67578006ce4233bf62adaef1c6b

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 години