view lib/lucene-core-3.0.3.jar @ 104:144cb44cd75e

TabEdit: Introduced dirty/unsaved marker '*' Also fixed card deletion in a case where it is open in multiple windows. Now it marks the card as new in all other windows.
author Fox
date Thu, 06 Apr 2023 09:59:12 +0200
parents 06b4a235d4bc
children
line wrap: on
line source

/mnt/Files/Programs/JavaLibraries/lucene-core-3.0.3.jar