dartdoc for `EditSession.screenWidth`