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 different
functionality, 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


Reply via email to