From df1df66c6cd15d5dbe97d4ffab24df102fb14a87 Mon Sep 17 00:00:00 2001
From: BlackDeluxeCat <65377021+BlackDeluxeCat@users.noreply.github.com>
Date: Thu, 28 Jul 2022 21:42:52 +0800
Subject: [PATCH] Update FilterOption.java (#7248)

---
 core/src/mindustry/maps/filters/FilterOption.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/src/mindustry/maps/filters/FilterOption.java b/core/src/mindustry/maps/filters/FilterOption.java
index eb27e54fba..4b51d11945 100644
--- a/core/src/mindustry/maps/filters/FilterOption.java
+++ b/core/src/mindustry/maps/filters/FilterOption.java
@@ -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);
         }
     }