This repository has been archived by the owner on Dec 15, 2022. It is now read-only.

font size heading #242

Open

chris2fr opened this issue Sep 29, 2020 · 0 comments

chris2fr commented Sep 29, 2020

Summary

Request for guidance or feature allowing for different font size in editor pane for headers.

Motivation

I am moving from Abricotine ot Atom, and I like the fact that headings are bigger in the editor mane.

Describe alternatives you've considered

I tried to learn how to tweak language rendering, but am unable.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.