diff package.gui_sh @ 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 0d4e996a5d99
children
line wrap: on
line diff