gate.swing.XJTabbedPane Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of gate-core Show documentation

GATE - general achitecture for text engineering - is open source software capable of solving almost any text processing problem. This artifact enables you to embed the core GATE Embedded with its essential dependencies. You will able to use the GATE Embedded API and load and store GATE XML documents. This artifact is the perfect dependency for CREOLE plugins or for applications that need to customize the GATE dependencies due to confict with their own dependencies or for lower footprint.

The newest version!

/*  XJTabbedPane.java
 *
 *  Copyright (c) 1995-2012, The University of Sheffield. See the file
 *  COPYRIGHT.txt in the software or at http://gate.ac.uk/gate/COPYRIGHT.txt
 *
 *  This file is part of GATE (see http://gate.ac.uk/), and is free
 *  software, licenced under the GNU Library General Public License,
 *  Version 2, June 1991 (in the distribution as file licence.html,
 *  and also available at http://gate.ac.uk/gate/licence.html).
 *
 *  Valentin Tablan 04/04/2001
 *
 *  $Id: XJTabbedPane.java 17612 2014-03-10 08:51:17Z markagreenwood $
 *
 */

package gate.swing;

import java.awt.Point;
import java.awt.Component;

import javax.swing.JTabbedPane;
import javax.swing.Icon;

/**
 * An extended version of {@link javax.swing.JTabbedPane}.
 */
@SuppressWarnings("serial")
public class XJTabbedPane extends JTabbedPane {

  public XJTabbedPane(int tabPlacement){
    super(tabPlacement);
  }

  /**
   * Gets the tab index for a given location
   */
  public int getIndexAt(Point p){
    for(int i = 0; i < getTabCount(); i++){
      if(getBoundsAt(i).contains(p)) return i;
    }
    return -1;
  }// int getIndexAt(Point p)

  @Override
  public void setTitleAt(int index, String title) {
    if (title.length() > 15) { // shorten the tab title with ellipsis
      setToolTipText("" + title + "
" + getToolTipText() + "");
      title = title.substring(0, 15) + "\u2026";
      super.setTitleAt(index, title);
    } else {
      super.setTitleAt(index, title);
    }
  }

  @Override
  public void insertTab(String title, Icon icon, Component component, String tip, int index) {
    if (title.length() > 15) { // shorten the tab title with ellispsis
      tip = "" + title + "
" + tip + "";
      title = title.substring(0, 15) + "\u2026";
      super.insertTab(title, icon, component, tip, index);
    } else {
      super.insertTab(title, icon, component, tip, index);
    }
  }

}// class XJTabbedPane extends JTabbedPane