nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-01-26 22:53:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Apply suggestions

Browse Source
This commit is contained in:
r00ster 2021-04-30 11:42:07 +02:00 committed by GitHub
parent ada5d2f9dc
commit c4fe7c4a30
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 33 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

61
src/librustdoc/html/static/main.js
View File

@ -1490,37 +1490,42 @@ function hideThemeButtonState() {
searchState.setup();
}());
let reset_button_timeout;
(function () {
var reset_button_timeout = null;
function copy_path(but) {
var parent = but.parentElement;
var path = [];
function copy_path(but) {
var parent = but.parentElement;
var path = [];
onEach(parent.childNodes, function(child) {
if (child.tagName === 'A') {
path.push(child.textContent);
onEach(parent.childNodes, function(child) {
if (child.tagName === 'A') {
path.push(child.textContent);
}
});
var el = document.createElement('textarea');
el.value = 'use ' + path.join('::') + ';';
el.setAttribute('readonly', '');
// To not make it appear on the screen.
el.style.position = 'absolute';
el.style.left = '-9999px';
document.body.appendChild(el);
el.select();
document.execCommand('copy');
document.body.removeChild(el);
but.textContent = '✓';
if (reset_button_timeout !== null) {
window.clearTimeout(reset_button_timeout);
}
});
var el = document.createElement('textarea');
el.value = 'use ' + path.join('::') + ';';
el.setAttribute('readonly', '');
// To not make it appear on the screen.
el.style.position = 'absolute';
el.style.left = '-9999px';
function reset_button() {
but.textContent = '⎘';
reset_button_timeout = null;
}
document.body.appendChild(el);
el.select();
document.execCommand('copy');
document.body.removeChild(el);
but.textContent = '✓';
window.clearTimeout(reset_button_timeout);
function reset_button() {
but.textContent = '⎘';
reset_button_timeout = window.setTimeout(reset_button, 1000);
}
reset_button_timeout = window.setTimeout(reset_button, 1000);
}
}());