- 616: Replace
SeparatorandPaneledge hit-area padding with a minimum size threshold based on Apple's user interface guidelines. Separators that are large enough will no longer be padded; separators that are too small (or panels without separators) will more or less function like before. This should not have much of a user-facing impact other than an increase in the click target area. (Previously I was not padding enough, as per Apple's guidelines.) - 615, 620: Double-clicking on a
Separatorresets its associatedPanelto its default-size (see video below); double-click will have no impact on panels without default sizes - 622: Bugfix: Panels within vertical groups are now properly sized in Safari
- 618: Bugfix: Don't override
adoptedStyleSheets
Demo of double-clicking on a separator:
dbl-click.mov