Rename new BattleSearch -> DexSearch

(Also fix a bunch of bugs.)

The new name `DexSearch` better represents its feature-set, and allows
its name not to clash with the old `BattleSearch`.
This commit is contained in:
Guangcong Luo
2020-05-04 19:04:04 -07:00
parent 779e796e52
commit 8a1ddcd6e2
8 changed files with 51 additions and 25 deletions

View File

@@ -88,7 +88,7 @@
<script src="data/teambuilder-tables.js"></script>
<script src="js/panel-teamdropdown.js"></script>
<script src="js/panel-teambuilder.js?"></script>
<script src="js/battle-search.js?"></script>
<script src="js/battle-dex-search.js?"></script>
<script src="js/battle-searchresults.js?"></script>
<script src="js/panel-teambuilder-team.js?"></script>