On Mon, 9 Dec 2013 11:53:25 +0200 "Ville M. Vainio" <[email protected]> wrote:
> I would vote for "external" instead. "External" means "third party modules > that just happen to be bundled with Leo". I agree that's the most obvious meaning, 'external' as Ville says, and 'extensions' for Leo specific code which is not core or a plugin. Unfortunately I think both folders currently have a mixture of both types of things, so they'd need sorting to clean them up. E.g. I put the ckeditor third party code in extensions, I think it should be in external instead, although the rich_text plugin would need tweaking to handle it then. Cheers -Terry > On Sun, Dec 8, 2013 at 6:01 PM, Edward K. Ream <[email protected]> wrote: > > > On Sun, Nov 17, 2013 at 1:58 PM, Matt Wilkie <[email protected]> wrote: > > > >> Working towards the goal of adding desktop & Startmenu shortcuts, and > >> file associations, in Windows when installing from pypi.python.org: > >> > > > > My apologies for the delay in responding. > > > > > > - I'm thinking of adding the winshell module (28kb, > >> https://winshell.readthedocs.org/en/latest/) to make things easier. > >> Would it go in ./leo/external or ./leo/extensions? > >> > > > > I'm not real sure myself. Looking at leoPy.leo, there seems to be @file > > nodes for the entries in the leo/external directory. Furthermore, the > > docstring for g.importExtension is: > > > > '''Try to import a module. If that fails, try to import the module > > from Leo's extensions directory. > > moduleName is the module's name, without file extension.''' > > > > So the answer is, leo/extensions. > > > > I'll add readme.txt files to the extensions and external directories, > > clarifying this point. > > > > 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/groups/opt_out. > > > -- 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/groups/opt_out.
