Skip to content

Made side-panel resizable#650

Merged
texodus merged 1 commit intomasterfrom
side-panel-resize
Jul 11, 2019
Merged

Made side-panel resizable#650
texodus merged 1 commit intomasterfrom
side-panel-resize

Conversation

@texodus
Copy link
Member

@texodus texodus commented Jul 11, 2019

Made side panel resizable. Hopefully supercedes #619

col-resize

@texodus texodus force-pushed the side-panel-resize branch from 3f4a25e to 79ca7e9 Compare July 11, 2019 19:05
@texodus texodus merged commit a897325 into master Jul 11, 2019
@texodus texodus deleted the side-panel-resize branch July 11, 2019 20:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants