Skip to content

gop: Derive PartialEq on ModeInfo #773

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Apr 29, 2023

Conversation

JohnAZoidberg
Copy link
Contributor

To check which mode is currently active, have to compare the ModeInfo structs.
https://blog.fpmurphy.com/2015/05/check-available-text-and-graphics-modes-from-uefi-shell.html does the same.

Checklist

  • Sensible git history (for example, squash "typo" or "fix" commits). See the Rewriting History guide for help.
  • Update the changelog (if necessary)

@phip1611
Copy link
Member

Please also derive Eq, then we are good to go :) thanks for the contribution!

@phip1611
Copy link
Member

@nicholasbishop is github broken? I can't merge but also not rebase.

image

@nicholasbishop
Copy link
Member

Just a guess, but when creating a PR there's an option of whether or not the owners of the repo-being-PR'd-into can edit the branch. Maybe it's unchecked here?

@JohnAZoidberg could you rebase this on latest main and force push?

To check which mode is currently active, have to compare the ModeInfo
structs.
https://blog.fpmurphy.com/2015/05/check-available-text-and-graphics-modes-from-uefi-shell.html
does the same.

Signed-off-by: Daniel Schaefer <dhs@frame.work>
@JohnAZoidberg
Copy link
Contributor Author

Just a guess, but when creating a PR there's an option of whether or not the owners of the repo-being-PR'd-into can edit the branch. Maybe it's unchecked here?

Hm, I thought that was checked.

@nicholasbishop
Copy link
Member

It's also possible that GitHub was just being weird. At any rate, lgtm now :)

@nicholasbishop nicholasbishop merged commit 1944acc into rust-osdev:main Apr 29, 2023
@JohnAZoidberg JohnAZoidberg deleted the gop branch April 29, 2023 15:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants