Commit | Date | |
---|---|---|
2025-07-18 05:36:02 | Tree | |
[r2078]
by
vincentb1
Améliore gestion répertoire par défaut. Propage une mise à jour du répertoire par défaut au PEFileChooser. |
2025-07-17 14:29:28 | Tree |
2025-07-17 14:20:25 | Tree | |
2025-07-17 10:58:53 | Tree | |
2025-07-16 16:03:32 | Tree | |
2025-07-14 11:44:26 | Tree | |
2025-07-14 11:39:08 | Tree | |
2025-07-14 11:29:38 | Tree | |
2025-07-14 08:36:45 | Tree | |
[r2070]
by
vincentb1
Complète l'implémentation de l'affichage du titre relativement au répertoire par défaut * jpicedt/jpicedt/jpicedt/JPicEdt.java (saveAllBoards): Donne le * jpicedt/jpicedt/jpicedt/ui/MDIManager.java (selectionUpdate): |
2023-08-21 02:24:41 | Tree |