Re: Copy and paste Spanish from google translate into vim?
- Hi Dominique!
On Do, 09 Mai 2013, Dominique Pellé wrote:
> Christian Brabandt <cblists@...> wrote:
> > Hi Dominique!
> > On Do, 09 Mai 2013, Dominique Pellé wrote:
> >> I just realized now that copy paste actually works when I use
> >> "vim -u NONE". So by trial and error, I searched for the minimalistic
> >> .vimrc that can reproduce the problem. I can reproduce the
> >> copy/paste bug as follows:
> >> 1/ create a minimalistic ~/.vimrc file:
> >> $ cat ~/.vimrc
> >> set enc=utf8
> >> language eo.UTF-8
> >> set mouse=a
> >> 2/ Start vim with:
> >> $ vim --noplugin
> >> 3/ Copy a word with accents in Firefox such as "síntoma"
> >> and paste it in Vim (terminal) with middle click.
> >> 4/ Observe the bug Vim pastes: s<ed>ntoma
> >> Expected behavior was to paste "síntoma"
> >> Note also that dragging the selection from Firefox
> >> to Vim pastes correctly.
> >> Interestingly, bug happens with the "eo.UTF8" language
> >> but not with the "fr_FR.UTF8" language for example.
> >> You may need to install the eo.UTF8 locale in order to reproduce
> >> the bug with "sudo locale-gen eo.UTF8" as described here
> >> for Ubuntu:
> >> http://markushedlund.com/dev-tech/install-a-locale-on-ubuntu-11-10
> > Interesting. I don't see this behaviour here.
> > regards,
> > Christian
> OK. Do you have the eo.UTF8 locale? I can reproduce it on 2 different
> Linux x86_64 machines (xubuntu-12.04 and xubuntu-12.10). It might be
> a problem with the eo.UTF8 locale rather than Vim.
I generated it using the locale-gen command. This is ubuntu 12.10
Was man besonders gerne tut, ist selten ganz besonders gut.
You received this message from the "vim_use" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
You received this message because you are subscribed to the Google Groups "vim_use" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vim_use+unsubscribe@....
For more options, visit https://groups.google.com/groups/opt_out.