X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FFeatureSettings.java;h=33c22f4dad133adc0adf1220810ae3cca8e4e2cf;hb=ae81fc691048b2151003030cb079bee26a0b610c;hp=b657ed3a802f4afca3e968c149d86994f01a2322;hpb=26b115b0a77d521da92a06572d9b7819c2d0d49a;p=jalview.git diff --git a/src/jalview/gui/FeatureSettings.java b/src/jalview/gui/FeatureSettings.java index b657ed3..33c22f4 100644 --- a/src/jalview/gui/FeatureSettings.java +++ b/src/jalview/gui/FeatureSettings.java @@ -98,6 +98,7 @@ import javax.swing.border.Border; import javax.swing.event.ChangeEvent; import javax.swing.event.ChangeListener; import javax.swing.table.AbstractTableModel; +import javax.swing.table.JTableHeader; import javax.swing.table.TableCellEditor; import javax.swing.table.TableCellRenderer; import javax.swing.table.TableColumn; @@ -162,12 +163,6 @@ public class FeatureSettings extends JPanel int selectedRow = -1; - JButton fetchDAS = new JButton(); - - JButton saveDAS = new JButton(); - - JButton cancelDAS = new JButton(); - boolean resettingTable = false; /* @@ -207,33 +202,6 @@ public class FeatureSettings extends JPanel table = new JTable() { - -// @Override -// public void repaint() { -// System.out.println("FS repaint"); -// super.repaint(); -// -// } -// -// @Override -// public void repaint(long tm, int x, int y, int width, int height) { -// System.out.println("FS repaint " + x + " " + y + " " + width + " " + height); -// super.repaint(tm, x, y, width, height); -// -// } -// @Override -// public void invalidate() { -// if (isValid()) -// System.out.println("FS invalidating "); -// super.invalidate(); -// } -// -// @Override -// public void validate() { -// System.out.println("FS validating " + isValid()); -// super.validate(); -// } - @Override public String getToolTipText(MouseEvent e) { @@ -283,15 +251,10 @@ public class FeatureSettings extends JPanel return loc; } }; - - // next line is needed to avoid (quiet) exceptions thrown - // when column ordering changes so that the above constants - // no longer apply. - table.getTableHeader().setReorderingAllowed(false); // BH 2018 - - table.getTableHeader().setFont(new Font("Verdana", Font.PLAIN, 12)); - ToolTipManager.sharedInstance().registerComponent(table); - + JTableHeader tableHeader = table.getTableHeader(); + tableHeader.setFont(new Font("Verdana", Font.PLAIN, 12)); + tableHeader.setReorderingAllowed(false); + table.setFont(new Font("Verdana", Font.PLAIN, 12)); table.setDefaultEditor(FeatureColour.class, new ColorEditor()); table.setDefaultRenderer(FeatureColour.class, new ColorRenderer()); @@ -1297,22 +1260,6 @@ public class FeatureSettings extends JPanel } } }); - help.setFont(JvSwingUtils.getLabelFont()); - help.setText(MessageManager.getString("action.help")); - help.addActionListener(new ActionListener() - { - @Override - public void actionPerformed(ActionEvent e) - { - try - { - Help.showHelpWindow(HelpId.SequenceFeatureSettings); - } catch (HelpSetException e1) - { - e1.printStackTrace(); - } - } - }); JButton cancel = new JButton(MessageManager.getString("action.cancel")); cancel.setFont(JvSwingUtils.getLabelFont());