On 2011-11-08 at 12:09, Aurélien Naldi wrote: > 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?
no. that bug is against gnome-terminal; the --class command line argument is provided by GTK+ itself. if you're not using GTK+ then you'll have to implement it on your own application and/or toolkit. ciao, Emmanuele. -- W: http://www.emmanuelebassi.name B: http://blogs.gnome.org/ebassi _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
