From: Randall R S. <rs...@so...> - 2003-05-15 03:46:59
|
Slava, What about the impermanence of changing the tool-tip delay using the BeanShell fragment that Mike gave me? If I can't make a permanent change, there's really no point. Randall Schulz At 19:51 2003-05-14, Slava Pestov wrote: >On Wed, May 14, 2003 at 06:14:40PM -0700, Randall R Schulz wrote: > > Also, is there some place to put BeanShell expressions that are > > automatically run upon each start-up of jEdit? > > > > I tried to find some of this stuff in the jEdit on-line help, but failed. > >Search for "startup script". > >-- >Slava Pestov |