Commit | Date | |
---|---|---|
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 |
[r2069]
by
vincentb1
Affiche les chemins relativement au répertoire par défaut. * jpicedt/jpicedt/jpicedt/JPicEdt.java (openBoard, saveBoard): * jpicedt/jpicedt/jpicedt/MiscUtilities.java * jpicedt/jpicedt/jpicedt/ui/MDIManager.java (addDrawingBoard): * jpicedt/jpicedt/jpicedt/ui/internal/PEMenuBar.java |
2023-08-17 16:17:48 | Tree |
[r2068]
by
vincentb1
Sauve dans les préférence les chemins de fichier récent avec leur chemin absolu. * jpicedt/jpicedt/jpicedt/JPicEdt.java (CLiArgOpenBoardAction): Lorsque le chemin du dessin est passé dans la ligne de |
2023-08-17 16:16:15 | Tree |
[r2067]
by
vincentb1
TikZ format de sortie : arrows.meta et patterns. * jpicedt/jpicedt/lang/i18n_en.properties: * jpicedt/jpicedt/jpicedt/format/output/tikz/TikzUtilities.java: * jpicedt/jpicedt/jpicedt/format/output/tikz/TikzCustomProperties.java: * jpicedt/jpicedt/jpicedt/format/output/tikz/TikzCustomization.java: * jpicedt/jpicedt/jpicedt/format/output/tikz/TikzCustomizer.java: * jpicedt/jpicedt/jpicedt/format/output/tikz/TikzConstants.java: * jpicedt/jpicedt/jpicedt/format/output/tikz/TikzViewFactory.java: |
2023-08-10 08:09:46 | Tree |