On 09/02/14 16:13, Lech Lorens wrote:
This should have gone to the list, not only to Bram.
On 5 February 2014 20:44, Lech Lorens <[email protected]> wrote:
On 05-Feb-2014 Bram Moolenaar <[email protected]> wrote:
Looks useful. How much does this slow down moving the cursor around?
Would need to try it on a slow computer.
I've been using this plugin on a Intel Core 2 Duo T8100 machine which by
today's standard is not a performance beast (according to Wikipedia the
processor was introduced 6 years ago) but during the weekend I might try
to start my Athlon XP computer (which is going to be 10 years old this
April!) – might be fun.
I'll be back with a report next week.
Cheers,
Lech
Wow, compiling Vim was an exercise in patience but now I have Vim
7.4.169 running on Linux on an Athlon XP 2500+ and the plugin runs
smoothly.
I don't have access to any older computers. Hope this suffices.
BTW I wonder why the plugin I downloaded from Gmail was with DOS line
endings while I sent it to the mailing list with Unix ones.
Email messages always have DOS endings, this is part of the standard.
However, IIUC this doesn't apply if you sent it as an attachment (but it
might be a Google quirk, or a quirk of your browser if you read gmail by
webmail).
Cheers,
Lech
Best regards,
Tony.
--
Fortune presents:
USEFUL PHRASES IN ESPERANTO, #5.
Mi ĉevalovipus vin se mi havus I'd horsewhip you if I had a horse.
ĉevalon.
Vere vi ŝercas. You must be kidding.
Nu, parDOOOOOnu min! Well exCUUUUUSE me!
Kiu invitis vin? Who invited you?
Kion vi diris pri mia patrino? What did you say about my mother?
Buŝoŝtopu min per kulero. Gag me with a spoon.
--
--
You received this message from the "vim_dev" 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_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
