Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Notify the user of what's happening in the worksheet runtime #56
We need to find a non-introsive way to report to the user what the worksheet runtime is doing, e.g., compiling , evaluating , and similar.
One way could be to have a icon in the editor's tab for when the worksheet is being evaluated, and a different one for when no evaluation is happening.