Shortcut to copy header and cpp source to clipboard

[wuyuanyi135]

Hi,
Thanks for this great work! It would be convenient if we have a button or shortcut to copy the generated code to clipboard from
http://www.wolkendek.nl/atm/cppheader.php
and
http://www.wolkendek.nl/atm/cppcode.php

[wuyuanyi135]

Right now I have been using a very quick tampermonkey script that will copy the header or cpp to clipboard when double-click the code area.

// ==UserScript==
// @name         Copy Automaton Code
// @namespace    http://tampermonkey.net/
// @version      0.1
// @description  Copy code to clipboard
// @author       wuyuanyi135@gmail.com
// @include      http://www.wolkendek.nl/atm/cppcode.php
// @include      http://www.wolkendek.nl/atm/cppheader.php
// @require      http://ajax.googleapis.com/ajax/libs/jquery/2.1.0/jquery.min.js
// @grant        GM_setClipboard
// ==/UserScript==

(function() {
    'use strict';
    var element = $('code').first();
    element.on('dblclick', ()=>{
        GM_setClipboard(element.text());
        var codeType = document.URL.endsWith('cppcode.php') ? 'CPP code' : 'Header';
        $('pre').prepend(`<div style="color: red"> ${codeType} copied to clipboard!</div>`)
    });
})();