I very recently began using the Leo-Editor spell checking facility.
Whenever a correctly spelled word was flagged as misspelled, I hit the
"Add" button to add the word to my dictionary. All seemed fine till the
next time I used Bazaar to pull the latest changes. Then I noticed that
"adding" a word, changed the Leo-Editor source controlled file
leo/plugins/spellpyx.txt.
Unless I'm missing something, this is undesirable.
An ordinary Linux user who installs Leo-Editor probably does not have write
permission for leo/plugins/spellpyx.txt. Doesn' this mean that the "Add"
button doesn't work for him?
For me, this problem is different. I use the bzr-explorer diff facility to
find the difference between my leo/plugins/spellpyx.txt and the last pulled
version. I then save my additions. Then I revert
leo/plugins/spellpyx.txt. Then I pull the latest Leo-Editor version. Then
I add my additions to the latest leo/plugins/spellpyx.txt. I have
semi-automated some of these steps with a Leo-Editor script that I execute
with Ctrl-B.
Does anyone see a simpler procedure?
Isn't requiring users to change a file that is a Leo-Editor,
source-controlled source file a bad idea?
Versions:
openSUSE 12.1
Kernel Linux 3.1.10-1.16-desktop
XFCE desktop environment
Leo Log Window
Leo 4.11 devel, build 5424, 2012-08-21 16:03:45
Python 2.7.2, qt version 4.7.4
linux2
setting leoID from os.getenv('USER'): 'bob02'
load dir: /home/ldi/bzr/LeoLatest/leo/core
global config dir: /home/ldi/bzr/LeoLatest/leo/config
home dir: /home/bob02
reading settings in /home/ldi/bzr/LeoLatest/leo/config/leoSettings.leo
reading settings in /home/bob02/.leo/myLeoSettings.leo
reading settings in /media/datw1/BobH/1/Leo/Leo.leo
reading: /media/datw1/BobH/1/Leo/Leo.leo
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To view this discussion on the web visit
https://groups.google.com/d/msg/leo-editor/-/ofeu-GOl-7wJ.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/leo-editor?hl=en.
