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

4.4 KiB

Raw Blame History

View Raw