redundant property because AppWindow has this already. Although addMixin won't mix this property I wonder why do we need this here?