Jeremy Armstrong wrote:
> Is it possible to preserve coloring from the shell (seen in TERMINAL mode) when in TERMINAL-NORMAL mode?
> e.g.
> 1. In TERMINAL mode (with an interactive shell) issue 'ls --color' and notice the colorized output
> 2. <c-\><c-n> and notice the SHELL's coloring is lost
Doesn't happen for me, color remains.
> Also, is it possible to see vim's :hls highlighting from TERMINAL mode in TERMINAL-NORMAL mode?
> e.g.
> 1. in TERMINAL-NORMAL mode do ':set hls ' then search for a string that gets highlighted
> 2. <c-n><c-\> and notice the search string is no longer highlighted
I assume you use "a" here to go back to Terminal-Job mode.
Once you are back in Terminal-Job mode the window will display the
contents of the terminal. It would be confusing if mixing with other
highlighting.
--
The startling truth finally became apparent, and it was this: Numbers
written on restaurant checks within the confines of restaurants do not follow
the same mathematical laws as numbers written on any other pieces of paper in
any other parts of the Universe. This single statement took the scientific
world by storm. So many mathematical conferences got held in such good
restaurants that many of the finest minds of a generation died of obesity and
heart failure, and the science of mathematics was put back by years.
-- Douglas Adams, "The Hitchhiker's Guide to the Galaxy"
/// Bram Moolenaar -- Bram@Moolenaar.net -- 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_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.
Thursday, November 23, 2017
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment