authortatankat <tatankat@users.noreply.github.com>
Mon, 17 Jan 2022 00:01:05 +0000 (01:01 +0100)
committerGitHub <noreply@github.com>
Mon, 17 Jan 2022 00:01:05 +0000 (00:01 +0000)
commit7ddc5e40e7c498faf83fe02555f31fcd8de4af2b
treeb2ae657c8e49f9a52faeb30d3ed2702b158e3510
parente346aa06c84289e3f461e67a946f996de953a79a
customui: dynamic sidebar width

This commit expands on customUI sidebar locations, adding the option to
control visibility and width with options. As part of these changes, it
furthermore makes handling of local options more generic to simplify
adding similar features and more complex locations in the future.

Co-authored-by: Dirk Steinmetz <ds@generalsync.com>
experiments/customui/parent.js