From 31200a154eefef98219f6325293d3ec40e2c457c Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Wed, 30 Sep 2015 11:36:55 -0400 Subject: [PATCH] set background color as backup, fixes #3919 --- app/src/processing/app/ui/EditorFooter.java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/app/src/processing/app/ui/EditorFooter.java b/app/src/processing/app/ui/EditorFooter.java index 2d524f988..546e5c84d 100644 --- a/app/src/processing/app/ui/EditorFooter.java +++ b/app/src/processing/app/ui/EditorFooter.java @@ -87,6 +87,7 @@ public class EditorFooter extends Box { int imageW, imageH; Image gradient; + Color bgColor; JPanel cardPanel; CardLayout cardLayout; @@ -172,6 +173,11 @@ public class EditorFooter extends Box { updateColor = mode.getColor("footer.updates.color"); gradient = mode.makeGradient("footer", 400, HIGH); + // Set the default background color in case the window size reported + // incorrectly by the OS, or we miss an update event of some kind + // https://github.com/processing/processing/issues/3919 + bgColor = mode.getColor("footer.gradient.bottom"); + setBackground(bgColor); }