Phil-Ah a82569fdce Unify and improve mono-fontstack. (#1912) ...

Unify and enhance font stack for mono-fonts. The updated font stack should provide a better UX on diverse platforms by using standard fonts. Fallbacks are more diverse. The amount of similar but not equal fonts in relation to 3rd-party plugins should be reduced.

2022-01-06 11:50:34 +01:00

..

public

Update Gradle to 7.3 (#1873)

2021-11-29 09:05:24 +01:00

src

Unify and improve mono-fontstack. (#1912)

2022-01-06 11:50:34 +01:00

package.json

Prepare for next development iteration

2021-12-22 18:16:08 +00:00

webpack.config.js

Update to webpack v5 (#1848)

2021-11-10 10:10:17 +01:00