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); } } }); }
.createTitledBorder("Result list (right-click for options)")); historyHolder.add(m_History, BorderLayout.CENTER); m_History.setHandleRightClicks(false);
m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() { @Override
m_history.setHandleRightClicks(false); m_history.getList().addMouseListener( new ResultHistoryPanel.RMouseAdapter() {
m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() { @Override
m_history.setHandleRightClicks(false); m_history.getList().addMouseListener( new ResultHistoryPanel.RMouseAdapter() {
m_history.setHandleRightClicks( false ); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() { @Override public void entryDeleted(String name, int index) {
m_history.setHandleRightClicks(false); m_history.getList().addMouseListener( new ResultHistoryPanel.RMouseAdapter() {
m_history.setHandleRightClicks( false ); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() { @Override public void entryDeleted(String name, int index) {
m_history.setHandleRightClicks(false); m_history.getList().addMouseListener( new ResultHistoryPanel.RMouseAdapter() {
m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() { @Override
m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() { @Override
m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() { @Override public void entryDeleted(String name, int index) {
m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() { @Override public void entryDeleted(String name, int index) {
m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() { @Override
m_history.setHandleRightClicks(false); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() { @Override
m_history.setHandleRightClicks( false ); m_history.setDeleteListener(new ResultHistoryPanel.RDeleteListener() { @Override public void entryDeleted(String name, int index) {