On 2013-08-12, Christian Brabandt wrote: > Hi Gary! > > On So, 11 Aug 2013, Gary Johnson wrote: > > > Christian, > > > > On 2013-08-11, Christian Brabandt wrote: > > > On Sa, 10 Aug 2013, Gary Johnson wrote: > > > > > > Now that 7.4 has been released and we can resume considering > > > > features instead of just bug fixes, can we have this patch included? > > > > If it isn't high on Bram's list, then Christian, would you please > > > > post a patch that works with 7.4? I tried applying this patch to > > > > 7.4 and all I got was "2 out of 2 hunks FAILED". I didn't look into > > > > why it failed. > > > > > > I applies to me with a certain offset for me. But anyway here is an > > > improved version, that also does, what the todo entry suggesgs: > > > > > > ,---- > > > | Patch to make "z=" work when 'spell' is off. Does this have nasty side > > > | effects? (Christian Brabandt, 2012 Aug 5) > > > | Would also need to do this for spellbadword() and spellsuggest(). > > > `---- > > > > Thank you, but I did not receive a new patch. Was one supposed to > > be attached to your message? > > Argl, I feel so old. And I even wrote a Vim pluginš, that is supposed to > prevent making me look silly, but I didn't even mention the word > "attach" in my message.
That makes two of us. While applying your new patch I found out why your original patch failed: I was using -p0 and didn't even try -p1. Using -p1 your original patch applied just fine with an offset of 3. > Oh well, here is an updated version attached. Yes, it is really > attached... I'm glad to have the updated patch. Thank you. It is working fine so far. I'll let you know if that changes. Regards, Gary -- -- 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.
