Add visual indicators that boxer is evaluating

boxer-project / boxer-sunrise

Sunrise on the Boxer Reconstruction Project

BSD 3-Clause "New" or "Revised" License

39 stars 2 forks source link

Add visual indicators that boxer is evaluating #30

Closed sgithens closed 2 years ago

sgithens commented 3 years ago

Currently, if boxer is in the middle of evaluating it can be stopped with the top menu or Ctrl-. however, there isn't a way to really tell if a line is evaluating unless it is updating obvious boxes/graphics on screen.

sgithens commented 2 years ago

We have the toolbar icons now for this, and may add other specific items in the future.