[[PageOutline(1-2)]]

= !PathBrowser =

== Description ==

== Screenshot ==

[[Image(pathBrowser.png)]]

== How to Use ==

* open menu
* note: new default browser
* all Path tools open a PathBrowser
* extensions only available if browsing classes of current project (ref PathProject)


== User Interface ==

inv/pre/post -- contracts & anzeige im browser fenster
neue pane link to test cases --> click on test case -> new browser, debugger, or pathfinder
new buttons coverage (underlined statements), path views (ref)
overlay for type information (ref to type harvesting)