mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-09-01 04:33:36 +02:00
Mirror of https://github.com/eclipse-cdt/cdt
![]() launch element drop down has hardcoded list of 3 elements of recent history, sometimes it is too many, sometimes not enought. added sash so user can resize it save this as preference, but no ui to edit this preference in pref pages for now |
||
---|---|---|
bundles | ||
features/org.eclipse.launchbar | ||
repo | ||
tests/org.eclipse.launchbar.core.tests | ||
.gitignore | ||
pom.xml |