view src/manifest @ 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 11bf54badc99
children
line wrap: on
line source

Class-Path: libraries/lucene-core-3.0.3.jar