From b1a4f31034237a2ed3c9097d489c596567216128 Mon Sep 17 00:00:00 2001 From: jprocter Date: Thu, 28 Jan 2010 12:28:14 +0000 Subject: [PATCH] todo for bug #0058199 --- src/jalview/gui/Desktop.java | 1 + 1 file changed, 1 insertion(+) 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"); -- 1.7.10.2