From 99d9f5a558a69cae8cb7d7f0da3ee4c9dd89f992 Mon Sep 17 00:00:00 2001 From: hneemann Date: Fri, 26 May 2017 20:54:22 +0200 Subject: [PATCH] fixed a painting bug in the color editor --- .../digital/gui/components/EditorFactory.java | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) diff --git a/src/main/java/de/neemann/digital/gui/components/EditorFactory.java b/src/main/java/de/neemann/digital/gui/components/EditorFactory.java index 00bab2b26..3d3111a48 100644 --- a/src/main/java/de/neemann/digital/gui/components/EditorFactory.java +++ b/src/main/java/de/neemann/digital/gui/components/EditorFactory.java @@ -13,10 +13,7 @@ import de.neemann.digital.gui.components.testing.TestDataEditor; import de.neemann.digital.gui.sync.NoSync; import de.neemann.digital.lang.Lang; import de.neemann.digital.testing.TestData; -import de.neemann.gui.ErrorMessage; -import de.neemann.gui.LineBreaker; -import de.neemann.gui.MyFileChooser; -import de.neemann.gui.ToolTipAction; +import de.neemann.gui.*; import de.neemann.gui.language.Bundle; import de.neemann.gui.language.Language; @@ -242,7 +239,17 @@ public final class EditorFactory { button.setBackground(color); } } - }); + }) { + @Override + protected void paintComponent(Graphics graphics) { + graphics.setColor(Color.WHITE); + graphics.fillRect(0, 0, getWidth(), getHeight()); + graphics.setColor(getBackground()); + graphics.fillRect(0, 0, getWidth(), getHeight()); + super.paintComponent(graphics); + } + }; + button.setPreferredSize(new Dimension(10, Screen.getInstance().getFontSize() * 3 / 2)); button.setBackground(color); }