"Alasdair McAndrew" <[EMAIL PROTECTED]> writes: > Is there any easy way of changing the HyperDoc appearance: size and position > of windows and fonts, widgets used, etc?
i'm afraid you'll have to modify the sources for that. If you do, I'd be particularly interested in having a cursor that has the hotspot where I expect it to be. And better scrollbars would also be nice... > I can change some things by modifying X resources, but not all. Oh, so what can you do? Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
