mirrors/Mindustry
1
Fork 0
mirror of https://github.com/Anuken/Mindustry.git synced 2026-01-28 07:22:21 -08:00
Code Issues Projects Releases Wiki Activity

Update FilterOption.java (#7248)

Browse source
This commit is contained in:
BlackDeluxeCat 2022-07-28 21:42:52 +08:00 • committed by GitHub
parent 311cd86e47
commit df1df66c6c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
core/src/mindustry/maps/filters/FilterOption.java
View file

@ -145,6 +145,7 @@ public abstract class FilterOption{
public void build(Table table){
table.row();
CheckBox check = table.check("@filter.option." + name, setter).growX().padBottom(5).padTop(5).center().get();
check.setChecked(getter.get());
check.changed(changed);
}
}