-
Christian Hergert authored
This still isn't my preferred way to navigate, but no reason we shouldn't at least have it in here. We probably should add some context to what constitutes "previous" and "next" document though. Right now, that context is widget packing dependent.
8870bb39