It might be a good idea to add the possibility for developers of Theorema packages (Knowledge Archives) to add own buttons, textboxes, etc. to a designated area of the Theorema commander.
This should work in such a way that the user simply programs the respective control elements in a standard Theorema notebook (maybe in a cell of some special type), and when creating the archive the code is simply added to the resulting file. Later, when the archive is loaded into a session, the control elements should be added to the GUI.
It might be a good idea to add the possibility for developers of Theorema packages (Knowledge Archives) to add own buttons, textboxes, etc. to a designated area of the Theorema commander. This should work in such a way that the user simply programs the respective control elements in a standard Theorema notebook (maybe in a cell of some special type), and when creating the archive the code is simply added to the resulting file. Later, when the archive is loaded into a session, the control elements should be added to the GUI.