$spy.make_history_bars()

Reload INS Revert HKL when reverting history $+ html.Snippet("gui/snippets/input-checkbox", "name=revert_hkl", "checked=spy.GetParam('snum.history.revert_hkl')", "onclick=spy.SetParam('snum.history.revert_hkl',html.GetState(~name~))") $-