label highlighting on edge select
tooltip text on elemet click 'Double click to show in editor'
label highlighting on edge select
tooltip on element click 'Doubleclick to show in editor'
metacalls label tooltip
performance issue: set source(false) for code_walker
edge OpenInEditor functionality
Merge branch 'origin/master'
call_term_position caching
toolbar buttons: PDT Predicates Visibility & SWI Predicates Visibility
Merge branch 'origin/context_view'