PageRenderTime 45ms CodeModel.GetById 42ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/bsh/commands/setNameCompletion.bsh

#
Unknown | 21 lines | 18 code | 3 blank | 0 comment | 0 complexity | efff608e57aebc0e274723e078d60beb MD5 | raw file
 1/**
 2	Allow users to turn off name completion.
 3	<p>
 4	Turn name completion in the GUI console on or off.
 5	Name competion is on by default.  Explicitly setting it to true however can
 6	be used to prompt bsh to read the classpath and provide immediate feedback.
 7	(Otherwise this may happen behind the scenes the first time name completion
 8	is attempted).  Setting it to false will disable name completion.
 9*/
10
11bsh.help.setNameCompletion= "usage: setNameCompletion( boolean )";
12
13/**
14*/
15void setNameCompletion( boolean bool ) 
16{
17	if ( bool == false )
18		if ( bsh.console != void )
19			bsh.console.setNameCompletion( null );
20}
21