On Tue, Nov 8, 2011 at 11:19 AM, Olav Vitters <[email protected]> wrote: > On Tue, Nov 08, 2011 at 11:14:58AM +0100, Aurélien Naldi wrote: >> profiles. As I understand, the shell will not work as I expect unless >> these applications are adapted to change the WM_CLASS property >> depending on the current profile. I can't find a way to do so on >> gnome-terminal, I guess I will report a bug there... > > There already is a command line option for it: > --class=CLASS Program class as used by the window manager >
I forgot this one as it does not appear in the default --help output, but anyway it does not work. A bug was reported about this years ago and marked as wontfix: https://bugzilla.gnome.org/show_bug.cgi?id=85068 Would it make sense to reopen it? -- Aurélien Naldi _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
