Re: How to change docker arrow icon size?

2023-01-11 Thread zhaohe wang
Thanks, I will try to learn it. 在2023年1月10日星期二 UTC+8 13:27:09 写道: > The plugin is *nav_qt.py*. > > On Tuesday, January 10, 2023 at 12:11:46 AM UTC-5 Thomas Passin wrote: > >> The height would probably be set in the CSS rules in the theme's qt >> stylesheet. I'm not sure just now which selector

Re: Cannot Start Leo When Enchant Speller Is Missing Libraries

2023-01-11 Thread Edward K. Ream
On Wed, Jan 11, 2023 at 12:57 PM Thomas Passin wrote: > Yes, the PR did its job and Leo can start. And I finally solved the > problem of the missing en_US dictionary. Thanks for the update. Glad to hear all is well. Edward -- You received this message because you are subscribed to the

Re: Cannot Start Leo When Enchant Speller Is Missing Libraries

2023-01-11 Thread Thomas Passin
Yes, the PR did its job and Leo can start. And I finally solved the problem of the missing en_US dictionary. It turns out that on Manjaro, you have to open the Settings applet, then the Manjaro Settings Manager, then double-click on Language Packages, and then finally you can install the

Re: Please help me edit Leo's wikipedia page

2023-01-11 Thread Edward K. Ream
On Wed, Jan 11, 2023 at 9:56 AM Jacob Peck wrote: I cannot remove the version tag, it's a requirement of the software > infoblock. > I seem to have done it. Please take a look. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To

Re: Please help me edit Leo's wikipedia page

2023-01-11 Thread Edward K. Ream
On Wed, Jan 11, 2023 at 9:56 AM Jacob Peck wrote: > I've added the LeoJS link, but because it's not mentioned in the article, > I don't foresee it staying long. > Thanks for this work. I figured out how to edit the page: - Disable vpn. - Delete all browser history. The link to leoInteg has

Re: Please help me edit Leo's wikipedia page

2023-01-11 Thread Jacob Peck
I've added the LeoJS link, but because it's not mentioned in the article, I don't foresee it staying long. I cannot remove the version tag, it's a requirement of the software infoblock. Unfortunately WikiMedia are unlikely to budge on this. I don't have any real interest in being a Wikipedia

Re: Command To Convert Selection Or Body To Title Case

2023-01-11 Thread Kevin Henderson
I'll check out that Freewin plugin, thank you. I'm not sure how to actually execute the functions, even if i've found the definition. Recently I made this (which is obviously very ugly for multiple reasons) - for a duplicate-line command. I started with your example, Tom, then added/modified the

Re: Please help me edit Leo's wikipedia page

2023-01-11 Thread Edward K. Ream
On Wed, Jan 11, 2023 at 9:26 AM Thomas Passin wrote: > " Well, this is a bizarre new policy." I don't think it's that new. > Wikipedia has been trying hard to prevent misrepresentation by interested > parties who want to make themselves look good, or others to look bad. So > you often can't fix

Re: Please help me edit Leo's wikipedia page

2023-01-11 Thread Thomas Passin
" Well, this is a bizarre new policy." I don't think it's that new. Wikipedia has been trying hard to prevent misrepresentation by interested parties who want to make themselves look good, or others to look bad. So you often can't fix errors about yourself even if you know for sure they are

Re: Cannot Start Leo When Enchant Speller Is Missing Libraries

2023-01-11 Thread Thomas Passin
Don't know yet. I don't have a git clone on the VM in question, I just spun it up and it needs some more provisioning. On Wednesday, January 11, 2023 at 9:54:21 AM UTC-5 Edward K. Ream wrote: > > > On Wed, Jan 11, 2023 at 8:35 AM Thomas Passin wrote: > >> ...it looks like there's now a PR

Re: Please help me edit Leo's wikipedia page

2023-01-11 Thread Edward K. Ream
On Wed, Jan 11, 2023 at 7:23 AM Jacob Peck wrote: > Changed. > Great. Thanks! > Good luck negotiating with the WikiMedia folks, they have a fairly > hardline stance on things. > I received this response: QQQ explains why using a VPN is

Re: Cannot Start Leo When Enchant Speller Is Missing Libraries

2023-01-11 Thread Edward K. Ream
On Wed, Jan 11, 2023 at 8:35 AM Thomas Passin wrote: > ...it looks like there's now a PR about that. > The PR has been merged into devel. Did the PR help? Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group

Re: Cannot Start Leo When Enchant Speller Is Missing Libraries

2023-01-11 Thread Jacob Peck
Agreed, but this might be an issue in the PyEnchant library. I suppose it can be coded around, though. On Wed, Jan 11, 2023 at 9:35 AM Thomas Passin wrote: > Thanks for the tip. I'll see if it works out. Still, I think Leo should > not fail to load if the spell checker is not functional, and

Re: Cannot Start Leo When Enchant Speller Is Missing Libraries

2023-01-11 Thread Thomas Passin
Thanks for the tip. I'll see if it works out. Still, I think Leo should not fail to load if the spell checker is not functional, and it looks like there's now a PR about that. On Wednesday, January 11, 2023 at 8:55:14 AM UTC-5 gates...@gmail.com wrote: > Some packagers of PyEnchant do not

Re: Cannot Start Leo When Enchant Speller Is Missing Libraries

2023-01-11 Thread Jacob Peck
Some packagers of PyEnchant do not include any dictionary files. The PyEnchant documentation explains how to find one and install them: https://pyenchant.github.io/pyenchant/install.html#installing-a-dictionary Try installing the package 'hunspell-en_US' (or the language of your choice). That

Re: Cannot Start Leo When Enchant Speller Is Missing Libraries

2023-01-11 Thread Thomas Passin
No, unfortunately it didn't. There is something else wrong in the pyenchant package or the enchant support libraries (both of which which are installed by the distro's package manager). On Wednesday, January 11, 2023 at 4:49:25 AM UTC-5 lewis wrote: > In leosettings.leo under Spell checking

Re: Please help me edit Leo's wikipedia page

2023-01-11 Thread Jacob Peck
Changed. Good luck negotiating with the WikiMedia folks, they have a fairly hardline stance on things. Jake On Wed, Jan 11, 2023 at 4:33 AM Edward K. Ream wrote: > Can someone please update the link to Leo's official web site on Leo's > Wikipedia page

Re: Cannot Start Leo When Enchant Speller Is Missing Libraries

2023-01-11 Thread Edward K. Ream
On Tue, Jan 10, 2023 at 9:53 PM Thomas Passin wrote: > I don't think the error messages will be helpful, but here are the last few lines: In this case the full traceback would have been helpful. In any case, I have just created #3043 .

Re: Cannot Start Leo When Enchant Speller Is Missing Libraries

2023-01-11 Thread lewis
In leosettings.leo under Spell checking there is a node: @string enchant-language = en-US Does that help? On Wednesday, January 11, 2023 at 4:18:20 PM UTC+11 tbp1...@gmail.com wrote: > Of course, one solution is to uninstall pyenchant. I did that and now Leo > can run. > > On Tuesday,

Please help me edit Leo's wikipedia page

2023-01-11 Thread Edward K. Ream
Can someone please update the link to Leo's official web site on Leo's Wikipedia page ? I have been blocked from doing *anything*. I would like to change leoeditor.com to leo-editor.github.io/leo-editor/ I've just sent the following to