← Retour aux projets
Applications2026En cours · v0.11
GD Pocket - Éditeur GDScript mobile
Application web installable (PWA) pour coder en GDScript depuis un téléphone ou une tablette : elle ouvre, modifie et envoie les scripts d'un ou plusieurs dépôts GitHub, comme celui de Micro Racer.
Aperçu
Points forts
- ▸Coloration GDScript fidèle à l'éditeur de Godot 4, thèmes Godot et Dracula
- ▸Erreurs repérées en direct comme dans Godot : « : » oubliés, parenthèses non fermées, indentation
- ▸Autocomplétion, 25 modèles de code prêts à insérer, indentation automatique et barre de touches pensée pour le tactile
- ▸Onglets, plan du script, recherche et remplacement, annulation par onglet, sauvegarde automatique
- ▸Connexion à plusieurs dépôts GitHub : créer, renommer, déplacer et supprimer des scripts
- ▸Vérification avant envoi avec les différences, plusieurs fichiers envoyés en un seul commit, historique de chaque fichier
- ▸Détection des conflits quand un fichier a changé sur un autre appareil
- ▸Installable et utilisable hors ligne, testée sur Android et sur un iPad sous iOS 12
Essayer le projet
L'appli se connecte à un de vos dépôts GitHub : elle demande un jeton personnel, qui reste sur votre appareil. Pour en créer un :
- Ouvrez la page de création de jeton sur GitHub : créer un jeton ↗
- Donnez-lui un nom et une date d'expiration, puis limitez-le au seul dépôt que vous voulez modifier.
- Dans les permissions du dépôt, réglez « Contents » sur « Read and write ».
- Générez le jeton, copiez-le et collez-le dans les Réglages de l'appli, avec le nom du dépôt.
Outils utilisés
JavaScriptPWACodeMirrorAPI GitHubGDScriptAvec l'aide de Claude (IA)