Try to use <gif-player> to control gif playback

From https://github.com/CaptainCodeman/gif-player
master
Tomasz Golinski 2020-11-13 19:51:09 +01:00
rodzic 9f5e87e603
commit baa4a51400
1 zmienionych plików z 9 dodań i 1 usunięć

Wyświetl plik

@ -381,7 +381,15 @@ int main(int argc, char** argv) {
hmap.generate_anim(heat_file, sorted_caches, 2);
else
hmap.generate(heat_file, fcc, heat_stamp_size, (heat_exp == 1 ? "exp" : "soft"));
std::cout << "<figure>\n<img class=\"heatmap\" src=\"" << heat_file << "\" alt=\"heat map\">\n</figure>\n";
if (!anim)
std::cout << "<figure>\n<img class=\"heatmap\" src=\"" << heat_file << "\" alt=\"heat map\">\n</figure>\n";
else {
std::cout << "<script src=\"components/webcomponentsjs/webcomponents-loader.js\"></script>\n<script src=\"components/gif-player/dist/gif-player.es6.js\" defer async></script>";
std::cout << "<figure>\n<gif-player class=\"heatmap\" src=\"" << heat_file << "\" alt=\"heat map\" speed=\"1\" play prerender>\n</figure>\n";
std::cout << "<noscript>\n";
std::cout << "<figure>\n<img class=\"heatmap\" src=\"" << heat_file << "\" alt=\"heat map\">\n</figure>\n";
std::cout << "</noscript>\n";
}
}
if (!get_not_found && !get_owned) {