3ee0b4 Adjust gnome-terminal favorite to renamed .desktop file

Authored and Committed by Florian Müllner 4 years ago
    Adjust gnome-terminal favorite to renamed .desktop file
    
    The gnome-terminal package carries a downstream patch to rename
    the .desktop file (to match the DBus name). Handle this case, so
    the terminal does not just vanish from app favorites on updates.
    
        
file modified
+2 -0