ing one will prompt for its options then launch. To re-launch quickly, use the
    <B>Launch</B> button. Clicking it will re-launch using the most recent launcher and
    configuration for the current program. If this is the first launch of the given program, the
    button will instead activate its drop-down menu. The drop-down is also accessible by clicking
    the down arrow next to the <B>Launch</B> button. The drop-down lists all launchers that have
    been previously configured for the current progra