Search bar for wave UI (#8501)

* wave search + other editor things

* everything but wave search

core/src/mindustry/maps/filters/FilterOption.java

@@ -108,6 +108,7 @@ public abstract class FilterOption{
                 .setRegion(supplier.get() == Blocks.air ? Icon.none.getRegion() : supplier.get().uiIcon)).size(iconSmall), () -> {
                 BaseDialog dialog = new BaseDialog("@filter.option." + name);
                 dialog.cont.pane(t -> {
+                    t.margin(14f);
                     int i = 0;
                     for(Block block : Vars.content.blocks()){
                         if(!filter.get(block)) continue;
@@ -120,7 +121,7 @@ public abstract class FilterOption{
                         if(++i % 10 == 0) t.row();
                     }
                     dialog.setFillParent(i > 100);
-                }).padRight(8f).scrollX(false);
+                }).scrollX(false);
 
 
                 dialog.addCloseButton();