Merge pull request #2062 from City-busz/default-terminal

Read default terminal from settings

appIcons.js

@@ -45,7 +45,7 @@ import * as Utils from './utils.js';
 import * as PanelSettings from './panelSettings.js';
 import * as Taskbar from './taskbar.js';
 import * as Progress from './progress.js';
-import {DTP_EXTENSION, SETTINGS, DESKTOPSETTINGS, EXTENSION_PATH} from './extension.js';
+import {DTP_EXTENSION, SETTINGS, DESKTOPSETTINGS, TERMINALSETTINGS, EXTENSION_PATH} from './extension.js';
 import {gettext as _, ngettext} from 'resource:///org/gnome/shell/extensions/extension.js';
 
 //timeout names
@@ -1803,7 +1803,7 @@ export const MyShowAppsIconMenu = class extends PopupMenu.PopupMenu {
 
         this._appendItem({
             title: _('Terminal'),
-            cmd: ['gnome-terminal']
+            cmd: [TERMINALSETTINGS.get_string('exec')]
         });
 
         this._appendItem({

extension.js

@@ -40,6 +40,7 @@ let extensionSystem = Main.extensionManager;
 export let DTP_EXTENSION = null;
 export let SETTINGS = null;
 export let DESKTOPSETTINGS = null;
+export let TERMINALSETTINGS = null;
 export let PERSISTENTSTORAGE = null;
 export let EXTENSION_UUID = null;
 export let EXTENSION_PATH = null;
@@ -76,6 +77,7 @@ export default class DashToPanelExtension extends Extension {
         DTP_EXTENSION = null;
         SETTINGS = null;
         DESKTOPSETTINGS = null;
+        TERMINALSETTINGS = null;
         panelManager = null;
 
         if (!reset) {
@@ -122,6 +124,7 @@ function _enable(extension) {
 
     SETTINGS = extension.getSettings('org.gnome.shell.extensions.dash-to-panel');
     DESKTOPSETTINGS = new Gio.Settings({schema_id: 'org.gnome.desktop.interface'});
+    TERMINALSETTINGS = new Gio.Settings({schema_id: 'org.gnome.desktop.default-applications.terminal'})
     EXTENSION_UUID = extension.uuid
     EXTENSION_PATH = extension.path