You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[graphics] Better font selection and no superscripts on Windows (#46)
Fixes complaint that the superscripts in the atom names in the table view do not show properly on
windows.
Will now show the good old ‘$’ on windows …
(And maybe we should also do this on others …)
Git ignore .classpath and .project Eclipse meta-information files (#44)
* Git ignore .classpath and .project Eclipse meta-information files
* Add newline at the end of file