In my version, changing the qweb-view-font-size setting **does** change the font size of "@language md text". Remember that you must reload the settings after you make a change: save your MyLeoSettings.leo file after changing settings there, and then either restart Leo or reload the settings using Leo's "Settings/Reload Settings/Reload-All-Settings" menu item.
On Saturday, October 3, 2020 at 8:15:06 PM UTC-4, zhaohe wang wrote: > > The code font is still small(no changed) with markdown format. > > Only a Note: ```python ``` is needed with **syntax color** when save > markdown file with @auto-md xxx.md > > [image: vr3.png] > > 在2020年10月4日星期日 UTC+8 上午7:46:58<zhaohe wang> 写道： > >> @tbp1 Thanks a lot! >> >> The qweb-view-font-size setting in my-leo-settings.leo can take effect. >> >> @int qweb-view-font-size = 16 >> >> *** >> >> <CNTRL-=> or <CTRL- minus> or cmd-= or cmd-minus have no effect. >> >> Leo 6.3-devel, devel branch, build 8a5715ab3f >> 2020-09-26 08:06:54 -0500 >> Python 3.7.3, PyQt version 5.12.1 >> darwin >> >> 在2020年10月4日星期日 UTC+8 上午6:38:18<tbp1...@gmail.com> 写道： >> >>> I have added two Leo commands to VR3 that can be linked to the same keys >>> when the focus is not in the VR3 rendering pane: >>> >>> vr3-zoom-view, and vr3-shrink-view. >>> >>> These are still experimental. They will probably be included in the devel >>> branch soon. >>> >>> On Saturday, October 3, 2020 at 12:08:10 PM UTC-4, Thomas Passin wrote: >>>> >>>> Actually, there is a setting to change the default font size: >>>> >>>> @int qweb-view-font-size = 16 >>>> >>>> (or use some other size). >>>> >>>> On Saturday, October 3, 2020 at 11:48:28 AM UTC-4 tbp1...@gmail.com >>>> wrote: >>>> >>>>> The rendering pane is basically a web browser. So click in the >>>>> rendering pane, then use <CNTRL-=> or <CTRL- minus> like most other >>>>> browsers. Note that this will change the entire display, including image >>>>> size. >>>>> >>>>> If you do not want that, then you will have to edit the stylesheet, >>>>> which is in Leo's plugins/viewrendered3 directory. >>>>> >>>>> Remember to click back in your body or outline pane for ordinary Leo >>>>> keystrokes to work. >>>>> >>>>> On Saturday, October 3, 2020 at 11:20:43 AM UTC-4 wangz...@gmail.com >>>>> wrote: >>>>> >>>>>> It is great to show vr3 to other people if vr3 font size can be >>>>>> adjusted. >>>>> >>>>> -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/ce98bcce-5c7f-4bc0-8dd9-43a4bc229810o%40googlegroups.com.
