On Tue, 2007-05-29 at 09:33 +0200, Aurélien Naldi wrote: > the "--disable-factory" trick is nice as a workaround but I think that > this can be relatively easy to fix using profiles. > > Here you do not really want to change the locale of your terminal, > only its encoding. gnome-terminal already has the ability to change > the encoding while running (in the "terminal" menu). It would be much > more useful if the encoding could be stored as a profile property, to > avoid changing this setting each time. > > a bug for this exists already: > http://bugzilla.gnome.org/show_bug.cgi?id=108711
Thanks for that bug link. It certainly appears that many people want to be able to specify an encoding in the profile. It doesn't appear to be a priority for the developers though :-( Regards Grant _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
