mirror of
https://github.com/hneemann/Digital.git
synced 2025-09-19 01:44:44 -04:00
fixed background color bug
This commit is contained in:
parent
7893063df2
commit
964cb72d76
@ -60,7 +60,6 @@ public class TableDialog extends JDialog {
|
|||||||
private TableColumn column;
|
private TableColumn column;
|
||||||
private int columnIndex;
|
private int columnIndex;
|
||||||
private AllSolutionsDialog allSolutionsDialog;
|
private AllSolutionsDialog allSolutionsDialog;
|
||||||
private int variables;
|
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Creates a new instance
|
* Creates a new instance
|
||||||
@ -384,7 +383,7 @@ public class TableDialog extends JDialog {
|
|||||||
JLabel label = (JLabel) super.getTableCellRendererComponent(table, value, isSelected, hasFocus, row, column);
|
JLabel label = (JLabel) super.getTableCellRendererComponent(table, value, isSelected, hasFocus, row, column);
|
||||||
label.setHorizontalAlignment(SwingConstants.CENTER);
|
label.setHorizontalAlignment(SwingConstants.CENTER);
|
||||||
label.setFont(font);
|
label.setFont(font);
|
||||||
if (column < variables)
|
if (column < model.getTable().getVars().size())
|
||||||
label.setBackground(MYGRAY);
|
label.setBackground(MYGRAY);
|
||||||
else
|
else
|
||||||
label.setBackground(Color.WHITE);
|
label.setBackground(Color.WHITE);
|
||||||
|
Loading…
x
Reference in New Issue
Block a user