Hello!

It allows terminals to resize their windows by pixels rather than characters.
However I've realized that for XTerm this can be achieved by setting
its resource resizeByPixel:true. So this patch is useless. :)

-- 
Vitaly

Reply via email to