Release 1.2.0
- Fixed a crash on broad queries (e.g. a single letter across several dictionaries): the results list keyed items by dictionary path/offset/word, and duplicate keys are illegal in a Compose list; drop the explicit key, let Paging identify items by position instead (SearchResultsList). - Fixed a disabled dictionary reactivating itself on the next app launch: the active flag is now persisted through PreferencesManager/DataStore and reapplied whenever the dictionary list is rebuilt (LocalDictionaryRepository). - Search results no longer stop at the first ~100-200 matches: the ranked head page hands back a cursor per unfinished prefix range, and IndexEntryPagingSource pages the rest straight from the index, merged alphabetically across dictionaries, until every match is surfaced (IndexSearcher, IndexEntryPagingSource). - Added diacritic-insensitive search: folded index entries are merged into the primary index as aliases, so accented and plain spellings find each other (DslIndexer, IndexSearcher). - Fixed indexing failures on dictionaries with dense non-Latin text: a truncated multi-byte sequence at a sample boundary was misread as invalid UTF-8 and the whole file fell back to UTF-16LE (DslCharsetDetector).
This commit is contained in:
1 parent
a5f3af83a4
commit
84612b26f2
21 files changed
+630
-243
No files matched your search
@@ -13,7 +13,7 @@ object DateUtils {
|
||||
return dateFormat.format(calendar.time)
|
||||
}
|
||||
fun extractDateFromFileName(fileName: String): String? {
|
||||
val regex = Regex("""_(\d{6})\.(gz|dsl|idx|dsl\.dz|dsl\.idx|dsl\.gz)$""")
|
||||
val regex = Regex("""_(\d{6})\.(gz|dsl|idx|idx\.fold|dsl\.dz|dsl\.idx|dsl\.idx\.fold|dsl\.gz)$""")
|
||||
return regex.find(fileName)?.groupValues?.get(1)
|
||||
}
|
||||
fun isDateBefore(date1: String, date2: String): Boolean {
|
||||
|
||||
Reference in new issue
Block a user