git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
6a66abc
)
Disable memory checker for now
author
amwaterhouse
<Andrew Waterhouse>
Wed, 18 Apr 2007 12:02:16 +0000
(12:02 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Wed, 18 Apr 2007 12:02:16 +0000
(12:02 +0000)
src/jalview/gui/Desktop.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/Desktop.java
b/src/jalview/gui/Desktop.java
index
fd741be
..
0304ea1
100755
(executable)
--- a/
src/jalview/gui/Desktop.java
+++ b/
src/jalview/gui/Desktop.java
@@
-42,8
+42,8
@@
public class Desktop
//Need to decide if the Memory Usage is to be included in
//Next release or not.
//Need to decide if the Memory Usage is to be included in
//Next release or not.
- public static MyDesktopPane desktop;
- // public static JDesktopPane desktop;
+ // public static MyDesktopPane desktop;
+ public static JDesktopPane desktop;
static int openFrameCount = 0;
static int openFrameCount = 0;
@@
-87,8
+87,8
@@
public class Desktop
setTitle("Jalview " + jalview.bin.Cache.getProperty("VERSION"));
setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
setTitle("Jalview " + jalview.bin.Cache.getProperty("VERSION"));
setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
- desktop = new MyDesktopPane(true);
- // desktop = new JDesktopPane();
+ // desktop = new MyDesktopPane(true);
+ desktop = new JDesktopPane();
desktop.setBackground(Color.white);
getContentPane().setLayout(new BorderLayout());
getContentPane().add(desktop, BorderLayout.CENTER);
desktop.setBackground(Color.white);
getContentPane().setLayout(new BorderLayout());
getContentPane().add(desktop, BorderLayout.CENTER);
@@
-1033,7
+1033,8
@@
public class Desktop
javax.swing.SwingUtilities.invokeLater(jvq);
}
javax.swing.SwingUtilities.invokeLater(jvq);
}
- class MyDesktopPane extends JDesktopPane implements Runnable
+ /*DISABLED
+ class MyDesktopPane extends JDesktopPane implements Runnable
{
boolean showMemoryUsage = false;
Runtime runtime;
{
boolean showMemoryUsage = false;
Runtime runtime;
@@
-1102,6
+1103,6
@@
public class Desktop
getHeight() - g.getFontMetrics().getHeight());
}
}
getHeight() - g.getFontMetrics().getHeight());
}
}
- }
+ }*/
}
}