If you need any other help with any aspect of Leo please do not hesitate to come back here. Leo takes time to assimilate and it is not without a bit of head scratching here and there.
On Thursday, October 29, 2015 at 3:23:05 AM UTC-4, Frustrated! wrote: > > *P.S. I tweaked the Leo icon shortcut a bit, and now it works. Thanks.* > > On Thursday, 29 October 2015 20:08:19 UTC+13, Frustrated! wrote: >> >> Edward, >> >> I managed to find one leoID.txt file, and copied it to the other 2 >> locations, hoping Leo would find it/them, when I double click the Leo icon. >> >> This still doesn't open Leo, but no matter - I'll just use launchLeo.py >> to open it - that seems to work ok. >> >> Thank you again for your time, and help. Much appreciated. >> >> I'm looking forward to exploring Leo. I think you've done an amazing job, >> creating something so complex. >> >> Regards, >> >> Pete. >> >> On Wednesday, 28 October 2015 05:24:10 UTC+13, Edward K. Ream wrote: >>> >>> On Tue, Oct 27, 2015 at 3:44 AM, Frustrated! <[email protected]> wrote: >>> >>> >>>> But when I try to open Leo by double-clicking on its icon, and putting >>>> my 3 initials into the "Enter Leo id" dialogue which says leoID.txt not >>>> found, nothing happens. >>>> >>> >>> Leo attempts to create leoID.txt in one of three places: >>> >>> 1. Your home directory, which depends on various system settings. >>> 2. The leo/config directory. >>> 3. The directory from which the .leo file was loaded. >>> >>> The full code is in setLeoID in: >>> leoPy.leo#Code-->Core classes-->@file leoApp.py-->class >>> LeoApp-->app.setLeoID >>> >>> Leo reports progress using g.error, >>> >>> which prints to both the console and Leo's log pane. >>> >>> Edward >>> >> -- 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
