Ah, I see that you are using a Mac. I don't have one available to try. I thought that a key mapping like <CTRL-+> would transfer to the equivalent <CMD> key sequence on a mac, but maybe that isn't correct. Someone else probably knows. Edward?
Otherwise, remember that you need to click in the rendering pane before those keystrokes will work. On Saturday, October 3, 2020 at 7:46:58 PM UTC-4, zhaohe wang wrote: > > > <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/18e678e5-ede5-4411-bc43-0b7d23603bf1o%40googlegroups.com.
