Docs plugin should have draggable width tree pane #8
Description
Would it be possible to make the pane for the tree in the docs plugin draggable such that the width can be expanded? The current pane ends up running out of space for deep trees.
{{ message }}