Comment Comment by johnchristopher Which window manager are you referring to ? parent johnchristopher 11 years ago