That, or:
Qt Code:
  1. time.toString("hh:mm:ss.zzz");
To copy to clipboard, switch view to plain text mode 
There are other formatters from which you can choose.

Regards