Want all the default settings back in MicroB

Or if you want all the default settings back:

- close the browser
- open xterm and type:

rm  .mozilla/microb/prefs.js

use the text editor application to edit your prefs.js file

cd  .mozilla/microb/
cp  prefs.js prefs.js.backup
ln -s ./prefs.js ~/MyDocs/.documents/prefs.js.txt