Pane Canvas - a dynamically adjustable canvas widget #1065
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This widget reimplements the canvas widget adding the ability for splits to be adjusted in size.
The user can set the color and width of the visible dividers as well as the padding that separates the splits. This means that the padding can be zero and the divider can be overlapping the visible area (or transparent) allowing for the functionality of being able to adjust the widths of splits without the visual noise of having dividers.
Setting the divider width to zero effectively turns this widget into a regular canvas.
This PR builds on the mouse cursor PR since it makes it possible to have transparent dividers, but still let users know that the sizes are adjustable.
I added an example to this PR that is just a copy of canvas.rs replacing instances of Canvas with PaneCanvas.