That's not a message from VR3. The stylesheets for VR3 are contained in
the leo/plugins/viewrendered3 directory. You can override that by the
setting @string vr3-rst-stylesheet, or vr3-md-stylesheet for Markdown, so
you could check to see if that setting exists in your myLeoSettings.leo
file. I have not checked the VR source code to see what css stylesheet it
normally uses.
As for disabling the VR plugin, if I understand correctly, Edward has
arranged that it gets loaded even if not listed in @enabled-plugins so that
it will be available to display help and plugin information. If VR3 has
been loaded, it will be used instead used.
However, I noticed just now that if I remove VR and VR3 from the enabled
list, and VR still pops up to display plugin info, that my key binding to
it doesn't work. (it also popped up as a freestanding window, not what one
really wants in most cases).
On Friday, November 6, 2020 at 2:50:38 PM UTC-5, Viktor Ransmayr wrote:
>
> Hello Thomas,
>
> tbp1...@gmail.com schrieb am Mittwoch, 4. November 2020 um 23:26:18 UTC+1:
>
>> It has been pointed out that VR3 does not pick up dark Leo themes, like
>> the current default EKRDark. Viewrendered, on the other hand, does. I've
>> been looking at addressing this, and could use some help on a few things.
>>
>> First of all, I haven't been able to see how the Leo theme gets applied
>> to VR. So far as I can see, VR emits html that has no css styling at all;
>> presumably the pane somehow uses the theme's style sheet. But when I
>> disable the normal stylesheet in VR3, the dark theme is not applied. You
>> can see that it is applied to the overall pane itself (for example the
>> toolbar, which is a QT Widget), but as the browser first paints you can see
>> the background change from the theme's dark to the usual light background.
>> Yet the code for loading and displaying the browser in the pane is
>> basically identical between the two plugins.
>>
>> Somewhere I'm overlooking a difference. If anyone can help with this,
>> I'd much appreciate it.
>>
>
> *Disclaimer: I have not done any check at the source code level of both
> plugins.*
>
> However, I'd like to make you aware of an error message from the log-pane,
> when executing the 'rst3' command, which as far as I understand it, does
> require 'some' rendering (?VR plugin?) capabilities:
>
> ###
>
> Leo Log Window
> Leo 6.2.1 final
> Python 3.8.6, PyQt version 5.15.0
> linux
> setting leoID from os.getenv('USER'): 'user'
> current dir: /home/user/PyVE/PyPI/Leo-stable
>
> load dir:
> /home/user/PyVE/PyPI/Leo-stable/lib64/python3.8/site-packages/leo/core
>
> global config dir:
> /home/user/PyVE/PyPI/Leo-stable/lib64/python3.8/site-packages/leo/config
> home dir: /home/user
>
> reading settings in
> /home/user/PyVE/PyPI/Leo-stable/lib64/python3.8/site-packages/leo/config/leoSettings.leo
> reading settings in /home/user/.leo/myLeoSettings.leo
> reading settings in /home/user/Documents/SL2020.leo
> read outline in 0.29 seconds
>
> wrote recent file: /home/user/.leo/.leoRecentFiles.txt
> saved: SL2020.leo
> wrote: /home/user/Documents/SL/2020/11/CW45/LE-2020-11-06.html.txt
> stylesheet not found <- !!!
> /home/user/Documents/default.css <- !!!
> @path: /home/user/Documents
> open path: /home/user/Documents
> wrote: /home/user/Documents/SL/2020/11/CW45/LE-2020-11-06.html
> rst3: 1 files in 0.05 sec.
> ###
>
> I've tried to attempt to disable any renderer, i.e. the 'VR' as well as
> the 'VR3' plugin in the 'myLeoSettings' file.
>
> The result was somewhat surprising (at least to me) in that the menu /
> user action 'Help > Open help Topics > Help' continues to work.
>
> My current working theory is that as a user I can't disable **each &
> every** plugins.
>
> That is, there's still a set of '?mandatory core?' plugins, which Leo
> keeps active at all time.
>
> That's all that I can provide as a response from my side for now.
>
> With kind regards,
>
> Viktor
>
>
--
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/a2a3bafe-f9fa-4285-96dc-c4535d495461o%40googlegroups.com.
