Migrate the display store to Pinia

Closes #1141 (closed)

Note that some mapGetters have been changed to mapState, because Pinia's mapGetters is marked as deprecated!