Reproduction steps: 1 open a jscript plug-in editor 2 add a char anywhere 3 ctrl+z to undo step 2 4 now, the editor show modification icon as below:
