TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-27 23:18:02 -04:00
Code Issues Packages Projects Releases Wiki Activity

fixed a painting bug in the color editor

Browse Source
This commit is contained in:
hneemann 2017-05-26 20:54:22 +02:00
parent 2046294891
commit 99d9f5a558
1 changed files with 12 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/main/java/de/neemann/digital/gui/components/EditorFactory.java
View File

@ -13,10 +13,7 @@ import de.neemann.digital.gui.components.testing.TestDataEditor;
import de.neemann.digital.gui.sync.NoSync; import de.neemann.digital.gui.sync.NoSync;
import de.neemann.digital.lang.Lang; import de.neemann.digital.lang.Lang;
import de.neemann.digital.testing.TestData; import de.neemann.digital.testing.TestData;
import de.neemann.gui.ErrorMessage; import de.neemann.gui.*;
import de.neemann.gui.LineBreaker;
import de.neemann.gui.MyFileChooser;
import de.neemann.gui.ToolTipAction;
import de.neemann.gui.language.Bundle; import de.neemann.gui.language.Bundle;
import de.neemann.gui.language.Language; import de.neemann.gui.language.Language;
@ -242,7 +239,17 @@ public final class EditorFactory {
button.setBackground(color); 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); button.setBackground(color);
} }