Skip to content

Fix for #12#14

Merged
FromDarkHell merged 2 commits intoFromDarkHell:mainfrom
ejfudd:Fix_for_12
Oct 15, 2021
Merged

Fix for #12#14
FromDarkHell merged 2 commits intoFromDarkHell:mainfrom
ejfudd:Fix_for_12

Conversation

@ejfudd
Copy link
Contributor

@ejfudd ejfudd commented Oct 14, 2021

Proposed fix for #12

@FromDarkHell
Copy link
Owner

FromDarkHell commented Oct 15, 2021

This PR is great but I've got a few notes (which I can fix in a commit to this PR, so no worries):

  • Ignores formatting concerns (should probably mention this in a development section on the README but bleh)
  • Both Platform boxes vertically align improperly; If you shrink the UI, it'll hide or overlap onto other elements.

@FromDarkHell
Copy link
Owner

For now, I honestly don't think the changes in this warrant a whole new update to be pushed out
So if you're fine with these changes, I'll merge them in and let them sit until I feel it's really necessary to do a whole new update.

Copy link
Contributor Author

@ejfudd ejfudd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm fine with the changes.
I also agree that this is a pretty small change and should be rolled into whatever else you have in the works.

@FromDarkHell FromDarkHell merged commit 40fd6d0 into FromDarkHell:main Oct 15, 2021
@ejfudd ejfudd deleted the Fix_for_12 branch October 15, 2021 23:18
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.

2 participants