I've already rewritten the evaluation settings widget, but I've never commited the code. I'll post it here as source code when I get back to my home computer. The widget uses the expander widget and is therefore only available for GTK+-2.4 and later.
-Øystein ------------------------------------------------------------------- The information contained in this message may be CONFIDENTIAL and is intended for the addressee only. Any unauthorised use, dissemination of the information or copying of this message is prohibited. If you are not the addressee, please notify the sender immediately by return e-mail and delete this message. Thank you. _______________________________________________ Bug-gnubg mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-gnubg
