Jefferson GonzálezandGitHub e646f2fb28 Merge pull request #1065 from Guldoman/PR_log_size ...

Increase `config.max_log_items`, add a scrollbar and optimize `LogView`

2022-07-05 18:07:33 -04:00

..

colors

style: move default colors to its own style file

2022-06-02 19:20:54 -04:00

core

Merge pull request #1065 from Guldoman/PR_log_size

2022-07-05 18:07:33 -04:00

fonts

Use FiraSans regular for UI

2021-05-27 13:49:33 +02:00

plugins

Merge pull request #1064 from Guldoman/PR_md_single_math

2022-07-05 18:01:59 -04:00