Do not try to get an app icon and an ID for org.gnome.Terminal.desktop when it's not available

diegodario88 / quake-terminal

Gnome Shell extesion to launch a terminal in quake mode

GNU General Public License v3.0

51 stars 6 forks source link

Closed petre2dor closed 10 months ago

petre2dor commented 10 months ago

It seems that without org.gnome.Terminal.desktop installed, the preferences window is not opening. With this PR I tried to account for this use case.

This is how the preferences will look like:

Fixes #24.