From 9e520200cd8bcc070c9b6b7c3e774aad4fd45915 Mon Sep 17 00:00:00 2001 From: jprocter Date: Tue, 26 Aug 2008 10:47:54 +0000 Subject: [PATCH] future bug fix todo --- src/jalview/gui/Desktop.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 8d8e6af..10687cd 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -239,6 +239,8 @@ public class Desktop String title, int w, int h, boolean resizable) { + // TODO: consider fixing method to update entries in the window submenu with the current window title + frame.setTitle(title); if (frame.getWidth() < 1 || frame.getHeight() < 1) { -- 1.7.10.2