Je connais, j'ai aussi eu ce désagrément-là, mais, ça ne vient pas de PortableWxMaxima, ça vient du programme d'origine (WxMaxima tout court), et donc ça se répercute aussi sur le PortableWxMaxima. Ca doit être un défaut de jennesse : WxMaxima n'en est qu'à la version 0.6.5.
En fait, WxMaxima a un petit souci si on change sa configuration "Button Panel" en "Off" dans Editer>Configurer. Si ce genre de souci arrrive, il faut supprimer le fichier "HKCUWxMaxima.reg" dans le dossier "Profile" et redémarrer PortableWxMaxima.
Faudrait que je pense à faire une version de ce fichier "de sécurité" en l'appelant par exemple "HKCUWxMaxima_Sécurité.reg", comme ça, s'il y a un problème, on supprime le "HKCUWxMaxima.reg", on fait une copie de "HKCUWxMaxima_Sécurité.reg" que l'on renomme "HKCUWxMaxima.reg", et c'est reparti.
Je vais éditer le tout premier post pour mettre cette remarque.
Si ça ne te dérange pas, télécharges la dernière version du lanceur ici, je n'ai rien modifié d'autre, juste pour avoir la dernière version avec les conseils de Joshua.
-
mageti
- Messages : 234
- Géo : Valenciennes pdt les vacances, Bordeaux sinon