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