Add search to GUI and minor changes to Theseus.

2023-01-02 00:41:09 -07:00
parent 548139ff8a
commit 67742cb238
4 changed files with 22 additions and 4 deletions
--- a/theseus/src/state/profiles.rs
+++ b/theseus/src/state/profiles.rs
@@ -21,6 +21,7 @@ pub const SUPPORTED_ICON_FORMATS: &[&'static str] = &[
    "mp4",
 ];

+// Represent a Minecraft instance.
 #[derive(Serialize, Deserialize, Clone, Debug)]
 pub struct Profile {
    #[serde(skip)]