Comment 14 for bug 980710

Revision history for this message
D. Hugh Redelmeier (hugh-mimosa) wrote :

For some unknown reason, this problem showed up on my system recently (XFCE / Ubuntu 12.04.2 LTS system with all updates).

Deleting ~/.config/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml and logging in again didn't fix it for me. (See #7)

That file contains <property name="ThemeName" type="empty"/> so I don't know what theme is being used. I don't particularly want to specify a theme.

Another silly thing: the launcher uses gnome-terminal when you select "Debian X Terminal Emulator" as your preferred terminal emulator. (See Applications Menu: Settings: Preferred Applications: Utilities: Terminal Emulator)

My avoid-the-problem solution is to select xterm as the Preferred Terminal Emulator.