enhancementhelp wanted
仓库指标
- Star
- (19,842 star)
- PR 合并指标
- (30 天内没有已合并 PR)
描述
Currently font size is a global setting. We should allow it to be set per-view.
I'm not entirely prepared to think through all the implications of this. Some of them are detailed in #989.
This is definitely a "start exploring" sort of issue. 😁