/**
* height in pixels for allowing height adjuster to be active
*/
- private static int HEIGHT_ADJUSTER_HEIGHT = 10;
+ private static final int HEIGHT_ADJUSTER_HEIGHT = 10;
private static final Font font = new Font("Arial", Font.PLAIN, 11);
av.getAlignment().getHiddenColumns());
}
- Desktop.jalviewClipboard = new Object[] { seqs, ds, // what is the dataset
+ Desktop.getInstance().jalviewClipboard = new Object[] { seqs, ds, // what is
+ // the
+ // dataset
// of a consensus
// sequence ? need to
// flag