Am Sonntag, 9. Juli 2006 12:13 schrieb Lars Gullik Bjønnes: > Georg Baum <[EMAIL PROTECTED]> writes: > > | Index: src/frontends/gtk/GuiSelection.C > | =================================================================== > | --- src/frontends/gtk/GuiSelection.C (Revision 14378) > | +++ src/frontends/gtk/GuiSelection.C (Arbeitskopie) > | +// ENCODING: Gtk::Clipboard returns UTF-8, we assume that the backend > | +// wants ISO-8859-1 and convert it to that. > | +string const GuiSelection::get() const > | +{ > > You should add a FIXME here since this assumption is obvously wrong. > (But in a 'short' while the destination will indeed be a fixed > encoding.)
Will do. Georg