... ps, following that post from my cygwin/win7 (ssh into my ubuntu), I got: C-V<CR> ^M S-V<S-CR> a next line in terminal C-V<C-CR> ^^ looks a have...
135594
Marcin Szamotulski
mszamot@...
Jan 17, 2013 9:49 pm
... You should also look at the :match command(s) (:help :match, :help ... Best, Marcin -- You received this message from the "vim_use" maillist. Do not...
135595
ANDY KENNEDY
ANDY.KENNEDY@...
Jan 17, 2013 10:38 pm
In the kconfig.vim file, there exists the following: syn keyword kconfigPreProc source \ nextgroup=kconfigPath \ skipwhite Later, there is: syn...
135596
Tim Chase
vim@...
Jan 18, 2013 1:24 am
... Having not seen any replies, it might help to detail what "Coq" and "Proof General" are (germane URLs or a description of your desired tools would be...
135597
Chris Schneider
chris@...
Jan 18, 2013 2:36 am
I googled up Proof General (an Emacs extension to integrate with Coq, a Formal Proof programming language). I know almost nothing about the Coq landscape, but...
135598
Danny Gratzer
danny.gratzer@...
Jan 18, 2013 3:14 am
Ah yes sorry for not clarifying that earlier. My solution so far has been to use CoqIDE and just suck it up, I'll post here if I come up with something...
135599
Jeroen Budts
jeroen@...
Jan 18, 2013 9:13 am
... Hash: SHA256 ... Did you have a look at the plugins section on vim.org? There are 3 plugins related to 'coq' ...
135600
Andy Wokula
anwoku@...
Jan 18, 2013 11:58 am
... This should give you E402: Garbage after pattern: source nextgroup=kconfigPathError skipwhite E475: Invalid argument: kconfigPreProcError source...
135601
ANDY KENNEDY
ANDY.KENNEDY@...
Jan 18, 2013 5:51 pm
... Probably did. I guess I need to spend more time with :help syn-define. ... Cool! Thanks! I had to make a slight modification to what you put up there: ...
135602
David Halter
davidhalter88@...
Jan 18, 2013 9:09 pm
... If you're interested in autocompletion / goto and this kind of IDE stuff, jedi-vim might be for you: https://github.com/davidhalter/jedi-vim The IDE...
135603
ping
songpingemail@...
Jan 19, 2013 7:57 am
with a long line like this: * this is a long line this is a long line this is a long line this is a long line this is a long line this is a long line this is a...
135604
ping
songpingemail@...
Jan 19, 2013 8:09 am
... because one has paste and the other don't... I realized this moments ago and just forgot again...have to make a note.. -- You received this message from...
135605
ping
songpingemail@...
Jan 19, 2013 9:43 am
experts: I spent 2 hours in a sleepless night to troubleshoot this but still no luck... so originally vim has a nice feature that: you block select (with V) a...
135606
Marcin Szamotulski
mszamot@...
Jan 19, 2013 12:11 pm
... Hi, ... this will show the file and line number. If it just defined in a plugin directory, you can define an autocommand: au VimEnter * iunmap | which...
135607
Benji Fisher
benji@...
Jan 19, 2013 2:57 pm
Also ... will tell you which of your plugins is <SNR>13. HTH -- Benji Fisher ... -- You received this message from the "vim_use" maillist. Do not top-post!...
135608
ping
songpingemail@...
Jan 19, 2013 4:15 pm
... I knew this technique and tried this before sending initial email -- I ... and ... are the same... ... I tried both, none works... -- You received this...
135609
ping
songpingemail@...
Jan 19, 2013 4:22 pm
... thanks, I did check a couple of times of that, but didn't really narrow down in my big (over-2K lines) vimrc file to this line: inoremap <silent> <Bar>...
135610
joe M
joe9mail@...
Jan 19, 2013 7:17 pm
... Just as a fyi, the below lines in my vimrc were causing the issue: call tcomment#DefineType('idris', '-- %s' ) call...
135611
Aggelos Kolaitis
neoaggelos@...
Jan 20, 2013 11:06 am
I'm trying to highlight words with capital letters with this in my .vimrc: match Keyword /[A-Z]\{2,\}/ I know it's problematic, because it keeps doing this: ...
135612
Tim Chase
vim@...
Jan 20, 2013 12:06 pm
... You can add the "\>" token to ensure that they go through the end of the word: match Keyword /[A-Z]\{2,}\>/ -tim -- You received this message from the...
135613
Aggelos Kolaitis
neoaggelos@...
Jan 20, 2013 3:01 pm
... Thanks for your advice tim. It works, but it still highlights text like this: aSDL I added \< so that the line is like this: match Keyword...
135614
Aggelos Kolaitis
neoaggelos@...
Jan 20, 2013 3:10 pm
... Nah, nevermind I got it. It was a typo / instead of \. It took a while but I fixed it and it works great. Tim, thanks again!! -- You received this message...
135615
Benoit Thomas
benoit.thomas@...
Jan 20, 2013 4:57 pm
Hi, In my .vimrc, I have function to have smooth scrolling to replace Ctrl-U and Ctrl-D (otherwise I loose context). The implementation I took from the net was...
135616
David Fishburn
dfishburn.vim@...
Jan 20, 2013 8:17 pm
YankRing.vim : Maintains a history of previous yanks, changes and deletes http://www.vim.org/scripts/script.php?script_id=1234 What does it do? Inspired by the...
135617
Igor Fadeev
6i96rother@...
Jan 20, 2013 10:16 pm
I'm using google_translator plugin (http://www.vim.org/scripts/script.php?script_id=3404) and have some troubles. After i added in my vimrc text: ...
135618
Peng Yu
pengyu.ut@...
Jan 20, 2013 10:52 pm
Hi, O can only add one lines. I'm wondering if there is a built in command to add two lines at a time in vim. Does anybody know? Thanks, Peng -- You received...
135619
Chris Schneider
chris@...
Jan 20, 2013 11:09 pm
No built in that I know of. O<enter> is a very quick way. and if you find yourself doing it a lot, go ahead and map it to something you remember. nmap...
135620
Bee
forth@...
Jan 20, 2013 11:14 pm
... If you do 2O<return><esc> you will have two lines --OR-- try 22O<return><esc> and you will have 22 new lines Bill -- You received this message from the...
135621
Bee
forth@...
Jan 20, 2013 11:17 pm
... Correction: 2O<esc>i --OR-- 22O<esc>i -- You received this message from the "vim_use" maillist. Do not top-post! Type your reply below the text you are...
135622
Chris Schneider
chris@...
Jan 20, 2013 11:19 pm
That's what I get for not checking help before replying :) Didn't realize that took a count. ... -- You received this message from the "vim_use" maillist. Do...
