Method select

src/main/java/gate/gui/MainFrame.java:456–464

Selects a resource if loaded in the system and not invisible. @param res the resource to be selected. @return the Handle for the resource, null if not found.

(Resource res)

   * @return the {@link Handle} for the resource, null if not found.
   */
  public Handle select(Resource res) {
    // first find the handle for the resource
    Handle handle = findHandleForResource(res);
    // now select the handle if found
    if(handle != null) {
      select(handle);
    }
    return handle;
  }

  protected void select(Handle handle) {
    final JComponent largeView = handle.getLargeView();