Skip to content

Document Dock better#1144

Closed
Happypig375 wants to merge 1 commit intobryanedds:masterfrom
Happypig375:patch-23
Closed

Document Dock better#1144
Happypig375 wants to merge 1 commit intobryanedds:masterfrom
Happypig375:patch-23

Conversation

@Happypig375
Copy link
Collaborator

No description provided.

bryanedds added a commit that referenced this pull request Sep 13, 2025
@bryanedds
Copy link
Owner

Used just a part of this. The other fields aren't utilized yet, so not documenting them.

@bryanedds bryanedds closed this Sep 13, 2025
@Happypig375
Copy link
Collaborator Author

@bryanedds But it's still useful to document the meaning of X Y Z W, right?

@bryanedds
Copy link
Owner

@bryanedds But it's still useful to document the meaning of X Y Z W, right?

Sure, but I'm not sure that these are correct -

(X = left, Y = bottom, Z = right, W = top)

I think it should be -

(X = left, Y = top, Z = right, W = bottom)

@bryanedds
Copy link
Owner

Ya, looks like I needed to switch the implementation of DockTop and DockBottom to get the originally desired order.

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