Hi people, I think I have a problem with pharo-launcher. Today I installed pharo for ubuntu, from ppa, and I want to change some of the settings. But, when I change the settings (and press enter) and then close the launcher and open it again, the settings appear again with defaults values (the changes I made are missed). What I'm doing wrong?
Thanks! Regards, Maxi
