windsteiger / Theorema

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

Make environments easier to select #6

Open clange opened 12 years ago

clange commented 12 years ago

Sometimes I'd like to cut or copy an environment in order to paste it elsewhere (e.g. when rearranging sections). It is quite cumbersome to select the whole environment, as I need to select the small cells before and after the environment box as well. Maybe it's possible to rearrange the cell groups so that there is actually one group that comprises the whole environment.