private void setUpResultHistory() { java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment(); if (!GraphicsEnvironment.isHeadless()) { if (m_outText == null) { m_outText = new JTextArea(20, 80); m_history = new ResultHistoryPanel(m_outText); } m_outText.setEditable(false); m_outText.setFont(new Font("Monospaced", Font.PLAIN, 12)); m_outText.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5)); m_history.setBorder(BorderFactory.createTitledBorder("Result list")); m_history.setHandleRightClicks(false); m_history.getList().addMouseListener(new MouseAdapter() { @Override public void mouseClicked(MouseEvent e) { if (((e.getModifiers() & InputEvent.BUTTON1_MASK) != InputEvent.BUTTON1_MASK) || e.isAltDown()) { int index = m_history.getList().locationToIndex(e.getPoint()); if (index != -1) { String name = m_history.getNameAtIndex(index); visualize(name, e.getX(), e.getY()); } else { visualize(null, e.getX(), e.getY()); } } } }); } }
private void setUpResultHistory() { java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment(); if (!GraphicsEnvironment.isHeadless()) { if (m_outText == null) { m_outText = new JTextArea(20, 80); m_history = new ResultHistoryPanel(m_outText); } m_outText.setEditable(false); m_outText.setFont(new Font("Monospaced", Font.PLAIN, 12)); m_outText.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5)); m_history.setBorder(BorderFactory.createTitledBorder("Result list")); m_history.setHandleRightClicks(false); m_history.getList().addMouseListener(new MouseAdapter() { @Override public void mouseClicked(MouseEvent e) { if (((e.getModifiers() & InputEvent.BUTTON1_MASK) != InputEvent.BUTTON1_MASK) || e.isAltDown()) { int index = m_history.getList().locationToIndex(e.getPoint()); if (index != -1) { String name = m_history.getNameAtIndex(index); visualize(name, e.getX(), e.getY()); } else { visualize(null, e.getX(), e.getY()); } } } }); } }
private void setUpResultHistory() { if (m_history == null) { m_history = new ResultHistoryPanel(null); } m_history.setBorder(BorderFactory.createTitledBorder("Graph list")); m_history.setHandleRightClicks(false); m_history.getList().addMouseListener( new ResultHistoryPanel.RMouseAdapter() { /** for serialization */ private static final long serialVersionUID = -4984130887963944249L; @Override public void mouseClicked(MouseEvent e) { int index = m_history.getList().locationToIndex(e.getPoint()); if (index != -1) { String name = m_history.getNameAtIndex(index); doPopup(name); } } }); }
private void setUpResultHistory() { if (m_history == null) { m_history = new ResultHistoryPanel(null); } m_history.setBorder(BorderFactory.createTitledBorder("Graph list")); m_history.setHandleRightClicks(false); m_history.getList().addMouseListener( new ResultHistoryPanel.RMouseAdapter() { /** for serialization */ private static final long serialVersionUID = -4984130887963944249L; @Override public void mouseClicked(MouseEvent e) { int index = m_history.getList().locationToIndex(e.getPoint()); if (index != -1) { String name = m_history.getNameAtIndex(index); doPopup(name); } } }); }
m_history.setBorder(BorderFactory.createTitledBorder("Result list")); m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() {
m_history = new ResultHistoryPanel(null); m_history.setBorder(BorderFactory.createTitledBorder("Image list")); m_history.setHandleRightClicks(false); m_history.getList().addMouseListener(
m_history = new ResultHistoryPanel(null); m_history.setBorder(BorderFactory.createTitledBorder("Image list")); m_history.setHandleRightClicks(false); m_history.getList().addMouseListener(
m_history.setBorder(BorderFactory.createTitledBorder("Result list")); m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() {
m_history.setBorder(BorderFactory.createTitledBorder("Image list")); m_history.setHandleRightClicks( false ); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() {
m_history.setBorder(BorderFactory.createTitledBorder("Image list")); m_history.setHandleRightClicks( false ); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() {
m_history.setBorder(BorderFactory.createTitledBorder("Image list")); m_history.setHandleRightClicks(false); m_history.getList().addMouseListener(
m_history.setBorder(BorderFactory.createTitledBorder("Image list")); m_history.setHandleRightClicks(false); m_history.getList().addMouseListener(
m_history.setBorder(BorderFactory.createTitledBorder("Result list")); m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() {
m_history.setBorder(BorderFactory.createTitledBorder("Result list")); m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() {
m_history.setBorder(BorderFactory.createTitledBorder("Result list")); m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() {
m_history.setBorder(BorderFactory.createTitledBorder("Result list")); m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() {
m_history.setBorder(BorderFactory.createTitledBorder("Result list")); m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() {
m_history.setBorder(BorderFactory.createTitledBorder("Result list")); m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() {
m_history.setBorder( BorderFactory.createTitledBorder( "Result list" ) ); m_history.setHandleRightClicks( false ); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() {
m_history.setBorder(BorderFactory.createTitledBorder("Result list")); m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() {