Skip to content
Change the issues type filter

Issues

    Issues

    • Icons are sometimes oval-shaped

      andreashgk/mithril-shell#26 · opened on Aug 20, 2025
      4

    • Port to ags v2

      andreashgk/mithril-shell#19 · opened on Jan 5, 2025
      2

    • App launcher

      andreashgk/mithril-shell#16 · opened on Nov 2, 2024
      1

    • Media controls

      andreashgk/mithril-shell#11 · opened on Oct 26, 2024

    • Notification center

      andreashgk/mithril-shell#8 · opened on Oct 18, 2024

    • Support hot-plugging of monitors

      andreashgk/mithril-shell#7 · opened on Oct 16, 2024
      1

    • IBUS module

      andreashgk/mithril-shell#6 · opened on Oct 15, 2024