mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-29 19:45:01 +02:00
Mirror of https://github.com/eclipse-cdt/cdt
![]() In the property page, there is now logic for remembering what tool has been selected as well as what option. The property page now creates preference pages for tools and options. Updated the settings store to add tools as well as options. Tweaked the logic of the tool/option list provider for the property page slightly to handle the case where the selection is a tool and not simply an option. |
||
---|---|---|
build | ||
core | ||
debug | ||
doc | ||
launch/org.eclipse.cdt.launch | ||
releng |