mirror of
https://github.com/livebook-dev/livebook.git
synced 2024-11-10 17:15:09 +08:00
36aab4357c
* Adds an option to increase the font size of the editor * Update lib/livebook_web/live/settings_live.ex Co-authored-by: José Valim <jose.valim@gmail.com> * Editor font size options as constants Co-authored-by: José Valim <jose.valim@gmail.com> |
||
---|---|---|
.. | ||
livebook | ||
livebook_cli | ||
livebook_web | ||
livebook.ex | ||
livebook_cli.ex | ||
livebook_web.ex |