desktop-packages team mailing list archive
-
desktop-packages team
-
Mailing list archive
-
Message #127241
[Bug 1453991] Re: gnome-terminal ignores the command line options --name and --class
I have a patch for this that restores the original WM_CLASS that would
have been set with 14.10 by passing it to gnome-terminal-server.
** Patch added: "0001-Pass-class-value-to-gnome-terminal-server-so-that-wi.patch"
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1453991/+attachment/4424289/+files/0001-Pass-class-value-to-gnome-terminal-server-so-that-wi.patch
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1453991
Title:
gnome-terminal ignores the command line options --name and --class
Status in gnome-terminal package in Ubuntu:
Confirmed
Bug description:
Ubuntu version:
Description: Ubuntu 15.04
Release: 15.04
Package version:
gnome-terminal:
Installed: 3.14.2-0ubuntu3
Candidate: 3.14.2-0ubuntu3
Version table:
*** 3.14.2-0ubuntu3 0
500 http://mirrors.coopvgg.com.ar/ubuntu/ vivid/main amd64 Packages
100 /var/lib/dpkg/status
Description:
gnome-terminal ignores the command line options --name and --class.
These options are listed with gnome-terminal --help as general gtk+
options. They should set the WM_CLASS property of the terminal window,
so window managers can manage properties of individual windows separately.
The WM_CLASS property can be displayed with the xprop command.
Example:
# gnome-terminal &
# xprop WM_CLASS
(point the cursor on the terminal window)
WM_CLASS(STRING) = "gnome-terminal-server", "Gnome-terminal"
# gnome-terminal --disable-factory --name foo --class bar &
# xprop WM_CLASS
WM_CLASS(STRING) = "gnome-terminal-server", "Gnome-terminal"
Here is how it should be:
# gnome-terminal &
# xprop WM_CLASS
WM_CLASS(STRING) = "gnome-terminal-server", "Gnome-terminal"
#gnome-terminal --disable-factory --class foo --name bar
# xprop WM_CLASS
WM_CLASS(STRING) = "bar", "foo"
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1453991/+subscriptions
References