This repository has been archived by the owner on Aug 31, 2021. It is now read-only.

Project Browser: add preference to sync selection with highlight #899

Open

livecodeali opened this issue Feb 15, 2016 · 0 comments

Labels

enhancement P-project-browser

Milestone

Member

livecodeali commented Feb 15, 2016

No description provided.

livecodeali added enhancement P-project-browser labels

peter-b modified the milestone: 8.1.0-future

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.