garret1317 / aegisub-scripts Goto Github PK

Would be more intuitive, and also much more useful, if "Undo" would remove the commented, original lines. Without deleting other comments between them. Maybe even adding an option to delete the commented lines, and append the original as a comment in { } brackets at the end of the edited line. So the original is visible all the time during editing, but even after deleting them, saving them somewhere from where they can be checked again if needed.

Would probably be a good idea
but

• do people other than me actually use these
• is it worth the extra friction

would be useful for stuff that's hardcoded but would be better not being that way
brain too small to figure out how to do it