From: Dominic S. <dd...@ca...> - 2001-10-30 13:43:49
|
> > On Mon, Oct 29, 2001 at 08:48:02AM -0000, Dominic Stolerman wrote: > > where is it using a hard coded directory path? You have > metioned this before > > but I have never been able to find it. > > Actually, the problem is that since the $HOME/.jedit/xinsert directory > is not automatically created, the attempt to save to > $HOME/.jedit/xinsert/variables fails, because you must create the > directory first. This is a bug, I will fix it soon. Thanks for having a look, I feel silly for having missed it. >Another problem I found by looking at the source is > that while the path to the xinsert directory can be set with a property, > the global variables code always hardcodes to loading from the default > of $HOME/.jedit/xinsert/variables. This is a feature, but currently is not a very useful one. It used to load the Insert files from a user specified directory so that they could be shared with another program - jext. Now the plugin has changed so that the files are no longer compatible (with the addition of macros) so this is not important. The global variables were not meant to be in the same directory as they were never used with jext. I would remove the option to choose directory now, but this would break the plugin for people who do not use the standard location. I will have to think about what to do about this.... - Dominic |