From 1d2b74b7c0d50c4c912160f9017cbcc257d3592a Mon Sep 17 00:00:00 2001 From: hansonr Date: Thu, 10 Jan 2019 22:46:25 -0600 Subject: [PATCH 1/1] adding (unnecessary, but informative super() call in Desktop --- 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 a927741..6599cb9 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -344,6 +344,7 @@ public class Desktop extends jalview.jbgui.GDesktop */ public Desktop() { + super(); /** * A note to implementors. It is ESSENTIAL that any activities that might block * are spawned off as threads rather than waited for during this constructor. -- 1.7.10.2