Skip to content

Migrate the display store to Pinia

Erwan Rouchetrequested to merge
pinia-display into master

Closes #1141 (closed)

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

Merge request reports