decide what to do with long history lists #26
Description
In the history tab, the list of history entries can grow very long. Define a nice way for this to work in the UI.
{{ message }}
In the history tab, the list of history entries can grow very long. Define a nice way for this to work in the UI.