TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-17 08:55:05 -04:00
Code Issues Packages Projects Releases Wiki Activity

TableDialog header click uses mouse settings

Browse Source
This commit is contained in:
hneemann 2019-05-20 18:37:31 +02:00
parent 6717ce9090
commit 23ff923a9d
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/main/java/de/neemann/digital/gui/components/table/TableDialog.java
View File

@ -40,10 +40,7 @@ import de.neemann.digital.gui.components.table.hardware.GenerateCUPL;
import de.neemann.digital.gui.components.table.hardware.GenerateFile; import de.neemann.digital.gui.components.table.hardware.GenerateFile;
import de.neemann.digital.gui.components.table.hardware.HardwareDescriptionGenerator; import de.neemann.digital.gui.components.table.hardware.HardwareDescriptionGenerator;
import de.neemann.digital.lang.Lang; import de.neemann.digital.lang.Lang;
import de.neemann.gui.ErrorMessage; import de.neemann.gui.*;
import de.neemann.gui.MyFileChooser;
import de.neemann.gui.Screen;
import de.neemann.gui.ToolTipAction;
import org.slf4j.Logger; import org.slf4j.Logger;
import org.slf4j.LoggerFactory; import org.slf4j.LoggerFactory;
@ -110,6 +107,7 @@ public class TableDialog extends JDialog {
private ExpressionListenerStore lastGeneratedExpressions; private ExpressionListenerStore lastGeneratedExpressions;
private KarnaughMapDialog kvMap; private KarnaughMapDialog kvMap;
private JMenuItem lastUsedGenratorMenuItem; private JMenuItem lastUsedGenratorMenuItem;
private Mouse mouse = Mouse.getMouse();
/** /**
* Creates a new instance * Creates a new instance
@ -157,7 +155,7 @@ public class TableDialog extends JDialog {
header.addMouseListener(new MouseAdapter() { header.addMouseListener(new MouseAdapter() {
@Override @Override
public void mouseClicked(MouseEvent event) { public void mouseClicked(MouseEvent event) {
if (event.getClickCount() == 1 && event.getButton() == 3) { if (mouse.isSecondaryClick(event)) {
columnIndex = header.columnAtPoint(event.getPoint()); columnIndex = header.columnAtPoint(event.getPoint());
if (columnIndex != -1) if (columnIndex != -1)
editColumnName(columnIndex, new Point(event.getXOnScreen(), event.getYOnScreen())); editColumnName(columnIndex, new Point(event.getXOnScreen(), event.getYOnScreen()));