Macro default_widget_properties

macro_rules! default_widget_properties {
    () => { ... };
}

This macro is used by Widget implementations, which auto-injects getter code for the Widget’s properties. Since all Widget implementations share these functions, and must implement them locally, this macro serves as a quick way to implement the same reused code automatically.