Don't share history between terminals.
Fixed gtk theme bug.