Sorry I don't know the whole back story on this, but why was this plugin disabled? What's the alternative way to explicitly specify a different HOME directory than the OS default?
Rob............ On Sunday, December 14, 2008 at 5:22:32 PM UTC-5, Edward K. Ream wrote: > > On Sun, Dec 14, 2008 at 4:20 PM, Edward K. Ream <[email protected] > <javascript:>> wrote: > > > rev 1358 contains the following tested code for setHomeDirectory.py:: > > This plugin is enabled in rev 1258, and disabled in rev 1359 :-) > > 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
