On Sat, Oct 20, 2018 at 4:24 PM Bram Moolenaar <Bram@moolenaar.net> wrote:
>
>
> Tony wrote:
>
> > On Sat, Oct 20, 2018 at 11:03 AM Bram Moolenaar <Bram@moolenaar.net> wrote:
> > > With Vim 8.1 and later, you can use ":set go+=!".
> > > It doesn't work perfectly, because of how it uses a virtual console.
> >
> > Ah, that's why I get what Anton wants: my vimrc indeed sets the ! flag
> > in 'guioptions'. Of course it means that external commands are run in
> > gvim's "dumb" console (glass teletype) and won't be able to use
> > backward cursor moves as in ncurses.
>
> Since it's now using the built-in terminal emulator, it's a full
> terminal, not "dumb". The problem on MS-Windows is that redirection
> doesn't work properly.
The binary where I tested it was built with -terminal. There (with !
in 'guioptions'), the output of external commands appears in the
command-line area, pushing all windows upwards. It may be different in
a gvim with +terminal — I have one but I only rarely use it. Sorry for
jumping to conclusions.
Here are the configuration parameters for my "usual" Vim:
export CONF_OPT_GUI='--enable-gui=gtk2'
export CONF_OPT_MULTIBYTE='--enable-multibyte'
export CONF_OPT_AUTOSERVE='--enable-autoservername'
export CONF_OPT_FEAT='--with-features=big'
export CONF_OPT_COMPBY='"--with-compiledby=antoine.mechelynck@gmail.com"'
Multibyte and GTK2 but no interpreted language interfaces, no
terminal, and none of the few features normally present in Huge but
not in Big. In addition to this, I set +xterm_save and -tag_old_static
by patching feature.h because AFAIK there are no configure arguments
for them.
Best regards,
Tony.
--
--
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@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Saturday, October 20, 2018
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment