PlutoUIExtra.jl

Input and output widgets for Pluto, those that didn't get into PlutoUI.jl: too narrow of a usecase, implementation not general enough, etc.
Following Fons's advice, these widgets are put into a separated package, PlutoUIExtra.

PlutoUIExtra reexport everything from PlutoUI (and adds extra). There's no need to manually import both in your code.

For now, contains the following widgets:

• Sidebar: usage & implementation, PlutoUI PR
• Slider: usage & implementation
  • CSS styling: PlutoUI PR
  • trigger on mouse release: PlutoUI PR
• Select with specified size (height): usage & implementation
• Radio with specified orientation: usage & implementation
• TextField with an autocomplete list (options): usage & implementation

Feel free to suggest more!