[Feature] Support custom user-imported fonts
Open
enhancement
- Dominant language
- TypeScript
- Stars
- 2
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
### Suggestion
In addition to supporting custom user-defined color schemes, the application should support the use of custom fonts. This should be an extension to the functionality implemented in #89.
Additionally we could bundle a standard font which could be the one from the old GUI?
_Font from the old GUI:_
[Ecdar-GUI/src/main/resources/ecdar/fonts](https://github.com/Ecdar/Ecdar-GUI/tree/4f71846aaf6447c90a0c5bbc268a9d7a36506ca7/src/main/resources/ecdar/fonts)
Contributor guide
Assessment
This issue has not been assessed yet.