Map search (#6004)

* Map search

* Fix format

* check and continue

* icons and style

* grow pane so search bar doesnt move

* Inline focusing

* Use boolean instead of checking size
This commit is contained in:
TranquillyUnpleasant
2021-09-27 20:33:12 +05:00
committed by GitHub
parent 2d2052e39f
commit bf89ef1e5e
2 changed files with 99 additions and 14 deletions

View File

@@ -379,6 +379,9 @@ editor.ingame = Edit In-Game
editor.publish.workshop = Publish On Workshop
editor.newmap = New Map
editor.center = Center
editor.search = Search Maps...
editor.filters = Filter Maps
editor.showAll = Show Default Maps
workshop = Workshop
waves.title = Waves
waves.remove = Remove