From: jprocter Date: Thu, 28 Jan 2010 12:28:14 +0000 (+0000) Subject: todo for bug #0058199 X-Git-Tag: Release_2_5~150 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=b1a4f31034237a2ed3c9097d489c596567216128;p=jalview.git todo for bug #0058199 --- diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 90af881..7a8789d 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -159,6 +159,7 @@ public class Desktop extends jalview.jbgui.GDesktop implements */ Rectangle getLastKnownDimensions(String windowName) { + // TODO: lock aspect ratio for scaling desktop Bug #0058199 Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); String x = jalview.bin.Cache.getProperty(windowName + "SCREEN_X"); String y = jalview.bin.Cache.getProperty(windowName + "SCREEN_Y");