search

windsteiger / Theorema

Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
GNU General Public License v3.0
71 stars 14 forks source link

Virtual keyboard #45

Open magmagithub opened 10 years ago

magmagithub commented 10 years ago

When clicking on the Close button of the Virtual keyboard a Save dialog appears. This is unnecessary. I suggest to change Saveable to false in the Virtual keyboard properties.