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
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