Implement preference dialog to configure used terminal when opening a shell

gpouilloux / gnome-shell-extension-docker

An extension for managing docker containers

GNU General Public License v3.0

146 stars 71 forks source link

Implement preference dialog to configure used terminal when opening a shell #50

Open gpouilloux opened 4 years ago

gpouilloux commented 4 years ago

See https://github.com/gpouilloux/gnome-shell-extension-docker/pull/48#discussion_r422214897

Opening a shell inside a running container is not using gnome-terminal as it is hardcoded within this extension. We could let users choose which tool they want to use, it'd require implementing preferences within this extension & have a proper dialog to control them.