Re: [vim/vim] Hard-coded 2 pixel border in GTK gVim (#3575)

2018-10-30 Fir de Conversatie Kazunobu Kuriyama
On Tue, Oct 30, 2018 at 8:24 PM Tony Mechelynck < antoine.mechely...@gmail.com> wrote: > On Tue, Oct 30, 2018 at 11:58 AM John Little > wrote: > > > > On Tuesday, October 30, 2018 at 2:05:04 PM UTC+13, Kazunobu Kuriyama > wrote: > > > Vim on xterm has the 2px-width border > > > > Not on my

Re: [vim/vim] Hard-coded 2 pixel border in GTK gVim (#3575)

2018-10-30 Fir de Conversatie Kazunobu Kuriyama
On Tue, Oct 30, 2018 at 7:58 PM John Little wrote: > On Tuesday, October 30, 2018 at 2:05:04 PM UTC+13, Kazunobu Kuriyama wrote: > > Vim on xterm has the 2px-width border > > Not on my xterm on KDE. ovk's mod now makes gvim consistent with vim in an > xterm, and vim in a konsole, when I use the

Re: [vim/vim] Hard-coded 2 pixel border in GTK gVim (#3575)

2018-10-30 Fir de Conversatie Tony Mechelynck
On Tue, Oct 30, 2018 at 11:58 AM John Little wrote: > > On Tuesday, October 30, 2018 at 2:05:04 PM UTC+13, Kazunobu Kuriyama wrote: > > Vim on xterm has the 2px-width border > > Not on my xterm on KDE. ovk's mod now makes gvim consistent with vim in an > xterm, and vim in a konsole, when I use

Re: [vim/vim] Hard-coded 2 pixel border in GTK gVim (#3575)

2018-10-30 Fir de Conversatie John Little
On Tuesday, October 30, 2018 at 2:05:04 PM UTC+13, Kazunobu Kuriyama wrote: > Vim on xterm has the 2px-width border Not on my xterm on KDE. ovk's mod now makes gvim consistent with vim in an xterm, and vim in a konsole, when I use the same font as gvim. > Personally, I think any UI should

Re: [vim/vim] Hard-coded 2 pixel border in GTK gVim (#3575)

2018-10-30 Fir de Conversatie John Little
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

Re: [vim/vim] Hard-coded 2 pixel border in GTK gVim (#3575)

2018-10-29 Fir de Conversatie Kazunobu Kuriyama
On Mon, Oct 29, 2018 at 11:10 PM ovk wrote: > @nuko8 , I'm not sure I fully understand your > argument. > Window border is something window manager should be dealing with, not the > application itself. > No. It's an attribute of windows (as X resource). See