Forum de mathématiques - Bibm@th.net

Géolabo ne plantait pas, simplement il n'enregistrait pas (ni avec un bouton, ni avec Ctrl-S...). Je pouvais continuer le dessin, mais mes ajouts étaient perdus...
Config : J'ai WinWP Fam, 512 Mo de RAM, et je crois la dernière version de GéoLabo (1.15).
Solution trouvée : J'ai pu récupérer ce fichier en le retouchant avec un éditeur de texte, en enlevant les objets depuis le milieu, puis plus loin, etc. (par le système des divisions successives en deux), jusqu'à ce qu'il recommence à enregistrer, puis coninuer le dessin et tout remarche. Je n'ai pas trouvé (pas vraiment eu le temps de chercher) où était le bug... mais j'ai gardé en souvenir le fichier à problème.
J'ai peut-être touché le fichier avec un éditeur et mis un bug dedans avant, je ne sais plus... mais en tout cas pour dessiner, le fichier incriminé fonctionnait tout à fait normalement.
------------------
Pendant que j'y suis, une suggestion d'amélioration que je trouverais intéressante : introduire la notion de style (ce devrait être relativement aisé à introduire) qui permette d'attribuer et de modifier des paramètres pour toute une série d'objets auxquels on a attribuer le même style (comme on fait dans un traitement de texte, dans Corel Draw ou... en HTML.