adjustable page size fixes #8

This commit is contained in:
Jonas Winkler
2020-11-04 19:28:08 +01:00
parent 77b2e15ea6
commit ed5a4a2d3e
6 changed files with 87 additions and 41 deletions

View File

@@ -1,3 +1,8 @@
export const OPEN_DOCUMENT_SERVICE = {
DOCUMENTS: 'open-documents-service:openDocuments'
}
export const GENERAL_SETTINGS = {
DOCUMENT_LIST_SIZE: 'general-settings:documentListSize',
DOCUMENT_LIST_SIZE_DEFAULT: 50
}