zervo/seb-server
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix build

Browse source
This commit is contained in:
anhefti 2024-03-28 16:05:47 +01:00
parent f8d70c4ab7
commit 1657824285
2 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pom.xml
View file

@ -70,7 +70,7 @@
<profile> <profile>
<id>let_reporting</id> <id>let_reporting</id>
<properties> <properties>
<java.version>17</java.version> <java.version>1.8</java.version>
</properties> </properties>
<build> <build>
<plugins> <plugins>
@ -79,8 +79,8 @@
<groupId>org.apache.maven.plugins</groupId> <groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-compiler-plugin</artifactId> <artifactId>maven-compiler-plugin</artifactId>
<configuration> <configuration>
<source>17</source> <source>1.8</source>
<target>17</target> <target>1.8</target>
</configuration> </configuration>
</plugin> </plugin>

3
src/main/java/ch/ethz/seb/sebserver/gui/table/EntityTable.java
View file

@ -637,7 +637,8 @@ public class EntityTable<ROW extends ModelIdAware> {
private void adaptColumnWidthChange(final Event event) { private void adaptColumnWidthChange(final Event event) {
final Widget widget = event.widget; final Widget widget = event.widget;
if (widget instanceof final TableColumn tableColumn) { if (widget instanceof TableColumn) {
final TableColumn tableColumn = ((TableColumn) widget);
if (this.filter != null) { if (this.filter != null) {
this.filter.adaptColumnWidth( this.filter.adaptColumnWidth(
this.table.indexOf(tableColumn), this.table.indexOf(tableColumn),