2017-09-24 0:36 GMT+03:00 Bram Moolenaar <[email protected]>: > > Marcin Szamotulski wrote: > >> Is there a way to redefine color palette used by the `:terminal` >> (libvterm)? > > No, but you can use RGB colors ('termguicolors').
I remember this issue popping up in Neovim bug tracker and it was found that while libvterm provides a way to alter RGB of first sixteen colors, what Neovim then allows to do as well (BTW, does Vim allow that?), rest of the palette is not only non-overridable, but uses a rather rough approximation that does not quite match colors used by xterm and adopted by other terminals. That is a single function though which maps color indexes to RGB colors and can easily be fixed in Vim codebase since it does not have libvterm as a dependency, but have it merged into its codebase instead. > > -- > hundred-and-one symptoms of being an internet addict: > 185. You order fast food over the Internet > > /// 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_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 [email protected]. > For more options, visit https://groups.google.com/d/optout. -- -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
