Thanks for the tip.
It is a step forward BUT it only redo the last command.
If I make a text bold and red and I hit F4 the other text is only red not bold.
So I hope you will add a real format painter to the V6 Beta ;-)
I don't understand why this was not already added in earlier versions.
Every note taking app needs such a function.