PageRenderTime 51ms CodeModel.GetById 30ms app.highlight 1ms RepoModel.GetById 19ms app.codeStats 0ms

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

#
Unknown | 12 lines | 9 code | 3 blank | 0 comment | 0 complexity | 9df3b0f123292433d7e4432426e49b2d MD5 | raw file
 1
 2bsh.help.setNameCompletion= "usage: setNameCompletion( boolean )";
 3
 4/**
 5	Allow users to turn off name completion.
 6*/
 7setNameCompletion( bool ) {
 8	if ( bool == false )
 9		if ( bsh.console != void )
10			bsh.console.setNameCompletion( null );
11}
12