[mminer]

You actually can export a selection to the clipboard using command-c. I never use the export button, opting instead to select all with command-a then copy with command-c. Be sure to check out the clipboard tab in preferences. I find the option to trim trailing whitespace helpful, and the comment styles are useful to embed diagrams in source code.