Issue #56: Undo operations for fonts are now marked correctly again