windsteiger / Theorema

Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Make “session→math” button groups more easily expandable

clange opened this issue · comments

There are two problems at the moment:

  • The state of expansion is not remembered.
  • Button groups can only be expanded by clicking on the small triangle to the left of the group title, which is easy to miss.
  • State is remembered now
  • Open/close is the standard Mathematica opener, I don't want to change that