Skip to content

Commit

Permalink
Merge pull request #4291: Revamp ServerBrowser UI
Browse files Browse the repository at this point in the history 
This PR revamps the ServerBrowserUI to facilitate its usage. Additionally it also adds a search-functionality to it.

Fixes #3532
  • Loading branch information
@Krzmbrzl
Krzmbrzl committed Jun 26, 2020
2 parents e17ebbb + 5cc56e8 commit b1e8910
Show file tree
Hide file tree
Showing 6 changed files with 314 additions and 243 deletions.

0 comments on commit b1e8910

Please sign in to comment.