From 7fa59a130a2587d07fee111ebe9278fb6878e751 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Fri, 1 Apr 2005 16:41:50 +0000 Subject: [PATCH] setMaximizable(false) --- src/jalview/gui/Desktop.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 336cdd3..6dca15b 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -47,7 +47,7 @@ public class Desktop extends jalview.jbgui.GDesktop implements DropTargetListene setTitle("Jalview 2005"); setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); desktop = new JDesktopPane(); - desktop.setBackground(Color.white); + // desktop.setBackground(Color.white); setContentPane(desktop); desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE); @@ -328,6 +328,7 @@ this.setDropTarget(new java.awt.dnd.DropTarget(desktop, this)); conservationSlider.setContentPane(sp); addInternalFrame(conservationSlider, "Conservation Colour Increment ("+source+")", 420, 90); conservationSlider.setResizable(false); + conservationSlider.setMaximizable(false); conservationSlider.addInternalFrameListener(new javax.swing.event.InternalFrameAdapter() { public void internalFrameClosed(javax.swing.event.InternalFrameEvent e) @@ -381,6 +382,7 @@ this.setDropTarget(new java.awt.dnd.DropTarget(desktop, this)); PIDSlider.setContentPane(pid); addInternalFrame(PIDSlider, "Percentage Identity Threshold ("+source+")", 420, 90); PIDSlider.setResizable(false); + PIDSlider.setMaximizable(false); } else { -- 1.7.10.2