GNOME terminal bugs.

[Arturo Espinosa Aldama <arturo agave coseac unam mx>]

Two bugs:

1) the terminal won't work with "top". The process table is well displayed
   but the screen clears immediatly. I'm using a background image.

2) All the checkboxes in the general preferences except for the "Hide
   Menubar" one don't seem to be saved or recovered properly (if I
   configure a terminal with a background image, save the prefs and spawn
   a new one, this won't come up with the image).

Greetings,
Arturo