mirror of
https://github.com/gradio-app/gradio.git
synced 2025-01-12 10:34:32 +08:00
1419538ea7
* asd * changes * fix everything * cleanup * add changeset * fix casing * lockfile * fix casing * fix ci, enable linting * fix test * add changeset * add changeset * delete changeset * fix dirs * fix casing * fix notebooks * fix casing * fix casing * fix casing * fix casing * fix casing * fix casing * fix casing * fix casing --------- Co-authored-by: gradio-pr-bot <gradio-pr-bot@users.noreply.github.com>
76 lines
1.5 KiB
Svelte
76 lines
1.5 KiB
Svelte
<script lang="ts">
|
|
import { onDestroy } from "svelte";
|
|
import { fade } from "svelte/transition";
|
|
import { Copy, Check } from "@gradio/icons";
|
|
|
|
let copied = false;
|
|
export let value: string;
|
|
let timer: NodeJS.Timeout;
|
|
|
|
function copy_feedback(): void {
|
|
copied = true;
|
|
if (timer) clearTimeout(timer);
|
|
timer = setTimeout(() => {
|
|
copied = false;
|
|
}, 2000);
|
|
}
|
|
|
|
async function handle_copy(): Promise<void> {
|
|
if ("clipboard" in navigator) {
|
|
await navigator.clipboard.writeText(value);
|
|
copy_feedback();
|
|
} else {
|
|
const textArea = document.createElement("textarea");
|
|
textArea.value = value;
|
|
|
|
textArea.style.position = "absolute";
|
|
textArea.style.left = "-999999px";
|
|
|
|
document.body.prepend(textArea);
|
|
textArea.select();
|
|
|
|
try {
|
|
document.execCommand("copy");
|
|
copy_feedback();
|
|
} catch (error) {
|
|
console.error(error);
|
|
} finally {
|
|
textArea.remove();
|
|
}
|
|
}
|
|
}
|
|
|
|
onDestroy(() => {
|
|
if (timer) clearTimeout(timer);
|
|
});
|
|
</script>
|
|
|
|
<button on:click={handle_copy} title="copy">
|
|
<span class="copy-text" class:copied><Copy /> </span>
|
|
{#if copied}
|
|
<span class="check" transition:fade><Check /></span>
|
|
{/if}
|
|
</button>
|
|
|
|
<style>
|
|
button {
|
|
position: relative;
|
|
cursor: pointer;
|
|
padding: 5px;
|
|
width: 22px;
|
|
height: 22px;
|
|
}
|
|
|
|
.check {
|
|
position: absolute;
|
|
top: 0;
|
|
right: 0;
|
|
z-index: var(--layer-top);
|
|
background: var(--background-fill-primary);
|
|
padding: var(--size-1);
|
|
width: 100%;
|
|
height: 100%;
|
|
color: var(--body-text-color);
|
|
}
|
|
</style>
|