Signature selection window

Evee allows for restricting the signature of a proof in order to hide certain proof steps (namely those that contain only names mentioned in the signature). The signature can be selected via the menu Proofs -> Manage signature.

The dialog window opened via this menu is created by the class EveeDynamicProofSignatureSelectionWindow, which extends the abstract Protégé class ProtegeOWLAction. This class of Protégé provides the basis for any additional menus created by plugins. The entry point to the dialog used by Protégé is an ActionEvent whose ActionCommand is named like the menu itself (Manage signature), therefore the EveeDynamicProofSignatureSelectionWindow also needs to implement the interface ActionListener.

The selection window class is straightforward in implementing its UI elements. The signature itself is saved to the preferences of Protégé via an object of the class EveeProofSignatureUIPreferenceManager. Another object of this class is then used by the proof services in order to load the selected signature when a proof is generated. Note that the Boolean value that determines whether a known signature should be used at all can also be selected in this signature selection window. This property currently cannot be changed via the preferences of Protégé, as this would require a global evee-proof preference that can be accessed by all proof services.