andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

Follow editor selection in Outline #33

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

When elements in theory editor are selected, highlight the choice in Outline view as well. This should be customisable - use a toggle button to disable synchronisation. Note that synchronisation the other way (Outline selection gets selected in the Editor) already works.