public final boolean operator(Screen r) {
    if (id != r.id)
      return false;
    if (!dimensions.equals(r.dimensions))
      return false;
    if (flags != r.flags)
      return false;
    return true;
  }