Hi Bram,
2013/11/28(Thu) 20:46:55 UTC+9 Bram Moolenaar:
> Hirohito Higashi wrote:
>
>
>
> > Hi Christian,
>
> >
>
> > 2013/11/27(Wed) 0:10:35 UTC+9 Christian Brabandt:
>
> > > I don't have anything to contribute except for this part of the patch:
>
> > >
>
> > >
>
> > >
>
> > > > +if has("gui_win32") && !exists("b:browsefilter")
>
> > >
>
> > > > + let b:browsefilter = "Python Files (*.py)\t*.py\n" .
>
> > >
>
> > > > + \ "All Files (*.*)\t*.*\n"
>
> > >
>
> > > > +endif
>
> > >
>
> > >
>
> > >
>
> > > BTW: b:browsefilter is also supported by the GTK Gui. You can check by
>
> > >
>
> > > :echo has("browsefilter")
>
> > Oh! That's right. Thanks for your advice.
>
> > I update a patch.
>
>
>
> I think we do want to check if b:browsefilter already exists. It means
>
> that another plugin has already set it, thus we should leave it alone.
>
>
>
> if has("browsefilter") && !exists("b:browsefilter")
>
> let b:browsefilter = "Python Files (*.py)\t*.py\n" .
>
> \ "All Files (*.*)\t*.*\n"
>
> endif
>
>
>
> Any reason you move Python_jump() further down? Not executing the
>
> "finish" appears the fix needed.
Thanks. I update patch simply.
Please check this again.....
Oh!! It is already fixed in rev.5510:d7d7bac1a163 :-)
Thank you Bram.
Best regards,
Hirohito Higashi
>
>
>
> --
>
> login: yes
>
> password: I don't know, please tell me
>
> password is incorrect
>
> login: yes
>
> password: incorrect
>
>
>
> /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\
>
> /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
>
> \\\ an exciting new programming language -- http://www.Zimbu.org ///
>
> \\\ help me help AIDS victims -- http://ICCF-Holland.org ///
--
--
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.
