You can cut and paste between your browser and the IDV or a terminal window to save some typing.

• In the browser, highlight the text you want to copy to the IDV by clicking and dragging your mouse over it.
• Press Ctrl-C to copy to the system clipboard
• To paste to the IDV:
  • Click the mouse in the IDV at place you want to paste the text.
  • Press Ctrl-V to paste into the IDV.
• To paste to a terminal window or another application:
  • Click the mouse in the terminal window/application at the place you want to paste the text.
  • Use your terminal/application's operation for pasting (e.g., for X-Windows: click middle mouse button; for many Windows applications: press Ctrl-V)