Community
Participate
Working Groups
Version: 4.2.0 Build id: I20120308-2200 FUP to bug 332540 Since our options pages mimic JDT UI's, we should also incorporate the very cool highlighting. This fix would apply to: 1. the PDE compilers pref / prop page 2. the API tools error/warnings pref / prop page 3. the API baselines pref page
pushed fix to: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=bba83cd3fe48eef7ea68d84e6f61da30ab74db8c