Module editor 

Editor selector widget for the header toolbar.

Provides a pick_list() drop-down that lets the user switch between all supported editors defined in gitkraft_core at runtime.

Functions

editor_selector

Create an editor selector pick_list() widget.