PageRenderTime 272ms CodeModel.GetById 270ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-1-pre5/bsh/commands/setNameCompletion.bsh

#
Unknown | 20 lines | 17 code | 3 blank | 0 comment | 0 complexity | 2d9bff91ad6e8833a0fa7b9b1dff610e 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	if ( bool == false )
17		if ( bsh.console != void )
18			bsh.console.setNameCompletion( null );
19}
20