Next: , Previous: , Up: Verum-Dezyne View Commands   [Contents][Index]

4.2.3 Invoking ide browse

The ide browse command opens a graphical browser view.

ide ide-option… browse optionview

The views must be the name of a view: system (the default) state, trace or an URL.


ide browse trace

opens the trace view.

The options can be among the following:


Display help on invoking ide browse, and then exit.

-I dir

Add directory dir to import path.