fix: update crumbs when paginating

dzgui/util/css.py

@@ -11,6 +11,8 @@ def add_class(widget: Gtk.Widget, label: str) -> None:
     context = widget.get_style_context()
     context.add_class(label)
 
+# TODO: def remove_class()
+
 def load_css() -> None:
     # TODO: consider storing this in a data file
     css = """

dzgui/util/strings.py

@@ -255,13 +255,10 @@ class Button:
 @dataclass(slots=True, frozen=True)
 class Crumbs:
     changelog: str
-    history: str
     keys: str
-    lan: str
     log: str
     _help: str
     mods: str
-    my_servers: str
     options: str
     servers: str
     thanks: str
@@ -441,15 +438,12 @@ buttons = Button(
 
 crumbs = Crumbs(
     changelog="Help > Changelog",
-    history="Main menu > Recent servers",
     keys="Keybindings",
-    lan="Main menu > Local servers",
     log="Help > Debug log",
     _help="Help",
     mods="Mods",
-    my_servers="Main menu > Saved servers",
     options="Options",
-    servers="Servers",
+    servers="Servers > Server browser",
     thanks="Help > Special thanks",
     developers="Options > Developers",
 )