Rename ui setting field

This commit is contained in:
Eike Kettner
2020-08-08 10:23:08 +02:00
parent 7c8c2f856f
commit 4c57d16501
3 changed files with 18 additions and 18 deletions

View File

@ -33,7 +33,7 @@ type alias StoredUiSettings =
, nativePdfPreview : Bool
, itemSearchNoteLength : Maybe Int
, itemDetailNotesPosition : Maybe String
, searchMenuFolders : Maybe Int
, searchMenuFolderCount : Maybe Int
}
@ -50,7 +50,7 @@ type alias UiSettings =
, nativePdfPreview : Bool
, itemSearchNoteLength : Int
, itemDetailNotesPosition : Pos
, searchMenuFolders : Int
, searchMenuFolderCount : Int
}
@ -89,7 +89,7 @@ defaults =
, nativePdfPreview = False
, itemSearchNoteLength = 0
, itemDetailNotesPosition = Top
, searchMenuFolders = 5
, searchMenuFolderCount = 4
}
@ -111,9 +111,9 @@ merge given fallback =
, itemDetailNotesPosition =
choose (Maybe.andThen posFromString given.itemDetailNotesPosition)
fallback.itemDetailNotesPosition
, searchMenuFolders =
choose given.searchMenuFolders
fallback.searchMenuFolders
, searchMenuFolderCount =
choose given.searchMenuFolderCount
fallback.searchMenuFolderCount
}
@ -131,7 +131,7 @@ toStoredUiSettings settings =
, nativePdfPreview = settings.nativePdfPreview
, itemSearchNoteLength = Just settings.itemSearchNoteLength
, itemDetailNotesPosition = Just (posToString settings.itemDetailNotesPosition)
, searchMenuFolders = Just settings.searchMenuFolders
, searchMenuFolderCount = Just settings.searchMenuFolderCount
}