import jalview.schemes.TCoffeeColourScheme;
import jalview.util.ImageMaker.TYPE;
import jalview.util.MessageManager;
+import jalview.util.Platform;
import jalview.viewmodel.AlignmentViewport;
import jalview.viewmodel.ViewportRanges;
import jalview.ws.DBRefFetcher;
*/
void init()
{
+// setBackground(Color.white); // BH 2019
+
if (!Jalview.isHeadlessMode())
{
progressBar = new ProgressBar(this.statusPanel, this.statusBar);
// In JavaScript, we use \u00A0 -- unicode "non-breaking space"
// which is the unicode encoding of
- statusBar.setText(text.length() == 0 ? " " : text);
+ statusBar.setText(text == null || text.isEmpty() ? " " : text);
}
/*
{ contents.toString() });
contents = null;
- if (Jalview.isJS())
+ if (Platform.isJS())
{
JLabel textLabel = new JLabel();
textLabel.setText(content);