// Navigation Widget Public API
export { NavigationWidget } from "ui/navigation-widget.slint";