Presse-papiers
L’historique du presse-papiers (Pro) est le gestionnaire de presse-papiers intégré de CodeExpander : il enregistre auto les 100 dernières copies (configurable), prend en charge texte, HTML, RTF, images et fichiers ; filtrer par type, recherche plein texte, épingler les favoris, cliquer pour coller dans le champ actif. Plus de copie précédente perdue.
- just nowCE-xxxx-xxxx-xxxxText · license
- 2 min agohttps://codeexpander.comText · URL
- 10 min agoerror.pngImage · 1280×800
Clipboard history: filter, search, click to paste. Does not steal focus from the app you are typing in.
Que peut faire l’historique du presse-papiers ?
- Historique — Enregistrement auto du contenu copié (texte, HTML, RTF, images, chemins de fichiers) ; nombre d’éléments configurable (0-10000).
- Filtre — Filtrer par « Tous / Texte / Image / Fichiers / Favoris » pour réduire le bruit.
- Recherche — Recherche plein texte dans l’historique ; indexation tantivy.
- Favoris — Épinglez les éléments importants ; ils ne seront pas évincés par de nouvelles copies.
- Coller — Simple ou double clic (configurable) pour coller dans la fenêtre active ; retour du focus après collage pris en charge.
- Coller sans mise en forme — Coller en texte brut, en retirant la mise en forme enrichie.
- Notes — Ajouter des notes aux entrées du presse-papiers.
Configuration
Configurez dans Paramètres → Presse-papiers :
Base
| Réglage | Description | Plage |
|---|---|---|
| Activer l’historique du presse-papiers | Basculer l’enregistrement auto | — |
| Clic pour coller | Simple / double clic pour coller | — |
| Position de la fenêtre | Mémoriser la dernière / centre / curseur | — |
Format
| Réglage | Description | Plage |
|---|---|---|
| Copier en texte brut | Retirer la mise en forme à la copie | — |
| Coller en texte brut | Retirer la mise en forme au collage | — |
| Tri auto par fréquence | Éléments fréquents en premier | — |
| Limite de taille d’un élément | Ignorer les éléments au-delà de cette taille | 0-500 Mo |
Gestion de l’historique
| Réglage | Description | Plage |
|---|---|---|
| Nombre max d’éléments | Retirer auto les anciens au-delà | 0-10000 |
| Jours de nettoyage auto | Supprimer auto les éléments plus anciens | 0-365 jours |
| Nettoyer l’historique | Nettoyage manuel de tout l’historique | — |
| Effacer les données | Supprimer toutes les données du presse-papiers | — |
Accès : menu de la barre d’état système, entrée presse-papiers des Paramètres, ou votre raccourci global.
La fenêtre presse-papiers ne vole pas le focus de l’app dans laquelle vous tapez (panneau non activant sous macOS ; les flèches parcourent encore l’historique sous Windows). Passez en mode édition seulement quand vous avez besoin du champ de recherche.
Stockage des données : l’historique du presse-papiers reste sur cet appareil. Il n’est pas envoyé vers CE Cloud ni Gist.
Scénarios typiques :
- Équipes multi-fuseaux : l’historique reste local, donc le code ou les liens copiés de collègues internationaux ne quittent pas votre machine.
- Développeurs : copiez en sécurité clés API, jetons et configs — votre gestionnaire de presse-papiers est aussi sûr que votre ordinateur.