If so, why? :-)I would like to retire this command-line option and the leoflexx plugin.
If so, why? :-)I would like to retire this command-line option and the leoflexx plugin.
* I have not activated / used the plugin ( knowingly ;-) ...
* I have used the command-line option (CLO) in the past - but - could not get it working for me & gave up ...* I tried the CLO now again in the latest 'devel' branch - and - it still is not working for me with Firefox in a Fedora Linux VM - See attached logs ...
On Fri, Oct 24, 2025 at 2:31 PM Viktor Ransmayr <viktor....@gmail.com> wrote:
... I would like to retire this command-line option and the leoflexx plugin.
* I have not activated / used the plugin ( knowingly ;-) ...
* I have used the command-line option (CLO) in the past - but - could not get it working for me & gave up ...* I tried the CLO now again in the latest 'devel' branch - and - it still is not working for me with Firefox in a Fedora Linux VM - See attached logs ...Thanks, Viktor, for your report.
Hello Edward,I no longer use the --gui=browser option.
Could we give it a deprecation warning for one release cycle?
On Monday, October 27, 2025 at 11:17:47 AM UTC-5 Edward K. Ream wrote:On Mon, Oct 27, 2025 at 10:41 AM Thomas Passin <tbp1...@gmail.com> wrote:Could we give it a deprecation warning for one release cycle?Hmm. We could do that, but I'd rather not. The clear alternative to flexx is LeoJS.There are two possible alternatives, but I won't do either unless the clear need arises:1. Create a global switch (in leoGlobals.py) that would enable --gui=browser.2. Modify plugins/leoflexx.py so that enabling the plugin would simulate --gui=browser.
.There are two possible alternatives, but I won't do either unless the clear need arises:
1. Create a global switch (in leoGlobals.py) that would enable --gui=browser.2. Modify plugins/leoflexx.py so that enabling the plugin would simulate --gui=browser.
I don't like #2 at all because one couldn't even start Leo (at least without --gui=somethingelse) without the plugin kicking in. If the plugin were buggy or one just didn't like it, editing the enabled plugins setting could become tricky.