On Monday, October 29, 2018 at 2:14:04 PM UTC+13, ovk wrote: > The current GTK gVim has hard-coded 2 pixel border ...
Thank you for pointing this out. I begrudge every pixel, and much prefer setting this to zero, now that I've tried it. The scrollbar width being hard-coded to 15 or 16 has always annoyed me, so I've been reducing this in my builds of gvim for a long time. Fixing this border width glitch fits well with the thinner scrollbar. Regards, John Little -- -- 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.
