#312 Set default font button

[High Performance Coder]

The idea here is to select the best font for unicode display, which is most likely the default font if no font is selected. For example, for Windows "Segoe UI Variable Display" is the best font. Ideally, we shoudl eb able to ask the system for this value, rather than having to manually maintain a list that potentially changes from release to release of the OS.

[High Performance Coder]

Ticket moved from /p/minsky/ravel/593/

Can't be converted:

• _priority: 6normal

[High Performance Coder]

Ticket moved from /p/minsky/tickets/1841/

Can't be converted:

• _priority: 4normal