|
|
@ -205,7 +205,7 @@ public class HeaderAreaPane extends JPanel { |
|
|
|
|
|
|
|
|
|
|
|
void build() { |
|
|
|
void build() { |
|
|
|
ElementCasePane elementCase = SortColumnRowPane.getCurrentElementCase(); |
|
|
|
ElementCasePane elementCase = SortColumnRowPane.getCurrentElementCase(); |
|
|
|
if (elementCase != null && this.elementCase != elementCase) { |
|
|
|
if (elementCase != null) { |
|
|
|
this.elementCase = elementCase; |
|
|
|
this.elementCase = elementCase; |
|
|
|
notSelectables = new ArrayList<>(); |
|
|
|
notSelectables = new ArrayList<>(); |
|
|
|
buildNotSelectables(elementCase.getEditingElementCase()); |
|
|
|
buildNotSelectables(elementCase.getEditingElementCase()); |
|
|
|