|
Thank you both. @Doitsu for a hint, @slowsmile for the solution.
That should be enough for me.
That’s something I wanted, but I could not do it myself.
I need one more thing: how to detect (via the plugin) if the file has been modified but not saved (exist * after filename).
|