@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<[email protected]> 写道： > 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 [email protected] >> 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 [email protected] >>> 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/4c3ee9bb-beb7-4d30-b391-9424b79338fbn%40googlegroups.com.
