Menu

#312 Set default font button

Backlog
open
nobody
None
4normal
2025-07-17
2024-06-11
No

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.

Discussion

  • High Performance Coder

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

    Can't be converted:

    • _priority: 6normal
     
  • High Performance Coder

    • priority: 6normal --> 4normal
     
  • High Performance Coder

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

    Can't be converted:

    • _priority: 4normal
     

Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.