morgan/dash-to-panel
1
0
Fork 0
mirror of https://github.com/morgan9e/dash-to-panel synced 2026-04-15 00:34:05 +09:00
Code Issues Packages Projects Releases Wiki Activity

Keep using user defined terminal by default

Browse Source
This commit is contained in:
Charles Gagnon
2025-02-21 12:22:26 -05:00
parent 7fc23f516d
commit 2ebf3cee16
2 changed files with 13 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
schemas/org.gnome.shell.extensions.dash-to-panel.gschema.xml
View File

@@ -693,7 +693,7 @@
[ [
{ {
"title": "Terminal", "title": "Terminal",
"cmd": "gnome-terminal" "cmd": "TERMINALSETTINGS"
}, },
{ {
"title": "System monitor", "title": "System monitor",

20
src/appIcons.js
View File

@@ -46,6 +46,7 @@ import {
DTP_EXTENSION, DTP_EXTENSION,
SETTINGS, SETTINGS,
DESKTOPSETTINGS, DESKTOPSETTINGS,
TERMINALSETTINGS,
EXTENSION_PATH, EXTENSION_PATH,
} from './extension.js' } from './extension.js'
import { import {
@@ -2268,12 +2269,15 @@ export const MyShowAppsIconMenu = class extends PopupMenu.PopupMenu {
this._appendSeparator() this._appendSeparator()
} }
JSON.parse(SETTINGS.get_string('context-menu-entries')).forEach((e) => JSON.parse(SETTINGS.get_string('context-menu-entries')).forEach((e) => {
if (e.cmd == 'TERMINALSETTINGS')
e.cmd = TERMINALSETTINGS.get_string('exec')
this._appendItem({ this._appendItem({
title: e.title, title: e.title,
cmd: e.cmd.split(' '), cmd: e.cmd.split(' '),
}), })
) })
this._appendList( this._appendList(
SETTINGS.get_strv('panel-context-menu-commands'), SETTINGS.get_strv('panel-context-menu-commands'),
@@ -2282,11 +2286,6 @@ export const MyShowAppsIconMenu = class extends PopupMenu.PopupMenu {
this._appendSeparator() this._appendSeparator()
this._appendItem({
title: _('Gnome Settings'),
cmd: ['gnome-control-center'],
})
let lockTaskbarMenuItem = this._appendMenuItem( let lockTaskbarMenuItem = this._appendMenuItem(
SETTINGS.get_boolean('taskbar-locked') SETTINGS.get_boolean('taskbar-locked')
? _('Unlock taskbar') ? _('Unlock taskbar')
@@ -2299,6 +2298,11 @@ export const MyShowAppsIconMenu = class extends PopupMenu.PopupMenu {
) )
}) })
this._appendItem({
title: _('Gnome Settings'),
cmd: ['gnome-control-center'],
})
let settingsMenuItem = this._appendMenuItem(_('Dash to Panel Settings')) let settingsMenuItem = this._appendMenuItem(_('Dash to Panel Settings'))
settingsMenuItem.connect('activate', () => DTP_EXTENSION.openPreferences()) settingsMenuItem.connect('activate', () => DTP_EXTENSION.openPreferences())