would this be a bad time to ask about variable tab stops?

On Thu, Mar 8, 2018 at 11:05 AM, Bram Moolenaar <b...@moolenaar.net> wrote:

>
> I'm thinking of creating the 8.1 release.  The main new feature is the
> terminal window, with the debugger plugin.  And lots of smaller
> additions and plenty of bug fixes.
>
> Is there is something important that should still be included?
> Or something in the terminal window that should be changed before
> putting it in an official release?
>
> --
> Team-building exercises come in many forms but they all trace their roots
> back
> to the prison system.  In your typical team-building exercise the employees
> are subjected to a variety of unpleasant situations until they become
> either a
> cohesive team or a ring of car jackers.
>                                 (Scott Adams - The Dilbert principle)
>
>  /// Bram Moolenaar -- b...@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_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 vim_dev+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
-- 
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 vim_dev+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Raspunde prin e-mail lui