copy the html file name to clipboard after export

This commit is contained in:
nadrad 2022-09-07 15:44:52 +02:00
parent 843bfbc86c
commit e4b4f9aaf3

1
h-m-m
View file

@ -1439,6 +1439,7 @@ function export_html(&$mm)
fclose($file);
message($mm, 'Exported as '.$mm['filename'].'.html');
copy_to_clipboard($mm['filename'].'.html');
}