f823c3d26c
- Ajout du système de flags pending pour gérer les fichiers en cours de traitement - Implémentation du polling automatique toutes les 5 secondes - Gestion d'erreur robuste avec nettoyage automatique des flags - Nettoyage des flags orphelins au démarrage du serveur - Correction du mapping des documents dans le store Redux - Documentation complète du système de pending Fixes: Problème de suppression des flags pending au démarrage Fixes: Problème d'affichage des documents dans le frontend
theme-seti
This is an icon theme that uses the icons from seti-ui.
Updating icons
There is script that can be used to update icons, ./build/update-icon-theme.js.
To run this script, run npm run update from the theme-seti directory.
This can be run in one of two ways: looking at a local copy of seti-ui for icons, or getting them straight from GitHub.
If you want to run it from a local copy of seti-ui, first clone seti-ui to the folder next to your vscode repo (from the theme-seti directory, ../../).
Then, inside the set-ui directory, run npm install followed by npm run prepublishOnly. This will generate updated icons.
If you want to download the icons straight from GitHub, change the FROM_DISK variable to false inside of update-icon-theme.js.
Languages not shipped with vscode
Languages that are not shipped with vscode must be added to the nonBuiltInLanguages object inside of update-icon-theme.js.
These should match the file mapping in seti-ui.
Please try and keep this list in alphabetical order! Thank you.
Previewing icons
There is a ./icons/preview.html file that can be opened to see all of the icons included in the theme.
Note that to view this, it needs to be hosted by a web server.
When updating icons, it is always a good idea to make sure that they work properly by looking at this page. When submitting a PR that updates these icons, a screenshot of the preview page should accompany it.