Alasdair McAndrew wrote: > And of course it would be nice to fix up HyperDoc, so that the widget set > was more up-to-date, and responded to such things as scroll wheels. >
Scroll wheel just works for me -- I guess it depends on X configuraton. You may try patch by Greg Vanuxem: http://lists.nongnu.org/archive/html/axiom-developer/2006-11/msg00411.html -- Waldek Hebisch [EMAIL PROTECTED] _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
