This is very surprising though, I don't understand why.
Because, as I wrote before, according to dconf-editor it was already set to
gnome-terminal.
Hmmm...using dconf-editor to set the value of a key isn't enough; you
probably forgot to explicitly restart nautilus after doing so.
I let one computer with this bug.
When I open dconf-editor, I see that the value is gnome-terminal, and is the
default one (I can't click on the button).
I tried to see with the computer for which I manually set the value to
gnome-terminal.
When I opened dconf-editor, the value was gnome-terminal, but I could click on
the button « set to default ».
When I click, the bug comes back.
But then, if I click on the value line so that I can change it, but don't
change anything, the value is then the same, but not considered the default one
any more.
And the bud is then solved.
That is what is very surprising.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
