On Jan 30, 2006, at 1:06 PM, Michal Maruška wrote:
But these functions were designed differently (wrt. their gtk+ counterparts), and since code in sawfish-ui and sawfish-menu.jl depends on this differentfunctionality, they cannot be simply disabled.So, in conclusion: Neither rep-gtk 0.18 nor CVS in current state is usable for Sawfish! This needs to be fixed soon! I enclose a possible patch
thanks, I applied your patch,
John
