/** Delete the selected projection. */
 public void doDelete() {
   projTable.deleteSelected();
 }