Commit Graph

2 Commits

Author SHA1 Message Date
hugocvx
ecbdd43ca8 use element title as navigation select option text when available (#803) 2022-01-30 17:06:42 +02:00
Henrik Ingo
f6ec70cd03 Add navigation-ui plugin.
navigation-ui plugin provides "back" and "forward" controls,
as well as a select drop down list to jump to any step. It is
added to act as an example of a UI plugin, meaning that it
exposes visible html elements.

(This plugin depends on the toolbar plugin, which is added 3 commits
from now.)
2017-10-30 17:07:14 +02:00