next up previous contents
Next: The Help Menu Up: The Menu System Previous: The View Menu

The Tools Menu

The Tools menu for JavaCarrots supports the following commands:

  figure61
Figure 4: The tools menu.

tabular67


JavaCarrots 1.0 by Chuong Do and Xinan Wu