\r
}\r
\r
+ public AlignViewport getViewport()\r
+ {\r
+ return viewport;\r
+ }\r
+\r
/* Set up intrinsic listeners for dynamically generated GUI bits. */\r
private void addServiceListeners()\r
{\r
*\r
* @param cs DOCUMENT ME!\r
*/\r
- void changeColour(ColourSchemeI cs)\r
+ public void changeColour(ColourSchemeI cs)\r
{\r
int threshold = 0;\r
\r
*/\r
public void removeRedundancyMenuItem_actionPerformed(ActionEvent e)\r
{\r
- RedundancyPanel sp = new RedundancyPanel(alignPanel, this);\r
- JInternalFrame frame = new JInternalFrame();\r
- frame.setContentPane(sp);\r
- Desktop.addInternalFrame(frame, "Redundancy threshold selection", 400,\r
- 100, false);\r
+ new RedundancyPanel(alignPanel, this);\r
}\r
\r
+\r
/**\r
* DOCUMENT ME!\r
*\r