Gandalf GreyHair wrote: > >>> >> >> What is the current status of the theorem support? >>> Setup,GUI etc. Yes. >> We don't have a GUI for ordinary layouts either so I'd figure it >> would work for environment layouts as well. >>> And that is the real job. >> A GUI. Yes. But that's not strictly needed > If by GUI you mean a gui where you could define your own theorems > and tell what they should look like, fonts, font effects, name, > numbering, I would really like that feature :-) > > Too bad I'm not a sufficiently good programmer to contribute. > Gunnar.
Sure you are able to contribute. Programming is just an implementation detail here. Most of the difficulty is in creating a good dialog with understandable, easy to follow semantics. Try out the 'fdesign' tool that we use to create xforms dialogs (the learning curve is less steep than that of Qt's designer). Creating a dialog is simply a case of point and click. Try something out and post it to the list. You'll get heaps of feedback about why it is crap ;-) You may even get the odd gem of information about how to improve it. Just conentrate on what widgets would do what task. Linking them all together _is_ programming and is also secondary. -- Angus
