Sunday, March 20, 2016

Re: [suggestion] also put current mode in the title bar

Em segunda-feira, 14 de março de 2016 13:21:40 UTC-3, dar...@gmail.com escreveu:
> Hi,
> I'm a Windows user and I'm learning Vim. It is indeed the very best and fasted way of editing. I also use AutoHotKey, a Windows-only (unfortunately) scripting application that allows the user to speed up their typing dramatically. We can define abbreviations and the matching expanded text to use in any other application, such as this input box. It's like MS Word's autocorrect database, only OS-wide. The combination of Vim + AHK would make a writter's drem algum momento.
>
> Here are two of the abbreviations I have among my 25000k:
>
> 5x -> "Five times"
> 5cb -> "%Clipboard%" (because the % sign on the same button as #5).
>
> But these two abbreviations have a very specific meaning in the Vim commands and using them could lead to a disaster.
>
> Fortunately, AutoHotKey has a method to detect the current window's title, so those expansions would not be triggered unless the title meets an specific string.
>
> So, de default name in a newly-opened gVim window is "[No Name] - gVim".
>
> **The suggestion**: add an option to display the current mode, INSERT or COMMAND, not only in the bottom left corner, but also on the titlebar.
>
> Thanks!

Hi Ben, thanks for your answer.

I've looked at this part of the help docs:
http://vimdoc.sourceforge.net/htmldoc/options.html#%27titlestring%27
...and, as you can see there, there is apparently no way to insert the current mode on the titlebar. It appears to have some variables, e.g. filename, but not the mode. Is this a dead end?

--
--
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.

No comments: