23 Dec
2015
23 Dec
'15
3:21 a.m.
Sometimes it would be better to customize border width depending on window. Is it possible to merge this functionality into core? -- Bogdan Sinitsyn