Obsolete; see [[WindowManager]]