public void setWidth(int width) {
    if (isJB()) {
      this.width = width;
    } else {
      ShadowDisplayManager.changeDisplay(realObject.getDisplayId(),
          di -> di.appWidth = width);
    }
  }
public void setWidth(int width) {
    if (isJB()) {
      this.width = width;
    } else {
      ShadowDisplayManager.changeDisplay(realObject.getDisplayId(),
          di -> di.appWidth = width);
    }
  }
public void setWidth ( int width ) { if ( isJB ( ) ) { this . width = width ; } else { ShadowDisplayManager . changeDisplay ( realObject . getDisplayId ( ) , di -> di . appWidth = width ) ; } }
Changes the width available to the application for this display.

Any registered {@link android.hardware.display.DisplayManager.DisplayListener}s will be
notified of the change.

@param width the new width in pixels
Changes the width available to the application for this display .