[graphics] Better font selection and no superscripts on Windows

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Other

709 stars 124 forks source link

[graphics] Better font selection and no superscripts on Windows #46

Closed pkriens closed 6 years ago

pkriens commented 6 years ago

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 …)

pkriens commented 6 years ago

@aleksandarmilicevic @eskang If this is approved and merged I will make a new Beta to include all the changes ...

pkriens commented 6 years ago

I already had merged it after @eskang's lgtm.

I've documented the class as you requested