1 Pull request merged by 1 person

• Combine name/address + lat-lon search, plus add compact mode for widget-containers and other style tweaks.

  #2206 merged Jan 9, 2025

1 Pull request opened by 1 person

• Separate layer manager from toolbar (and other minor UI tweaks)

  #2208 opened Jan 12, 2025