[ jEdit-devel ] [ jedit-Bugs-460295 ] 'console to front' error (re-issue)

[<no...@so...>]

Bugs item #460295, was opened at 2001-09-10 07:36
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=460295&group_id=588

Category: plugins
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Philip X (philipx)
Assigned to: Nobody/Anonymous (nobody)
Summary: 'console to front' error (re-issue)

Initial Comment:
I still seem to get that error from bug 456121 with 
jEdit 3.2.2, Console 3.0.2 (win2k, sun jdk 1.3.1).

Here's the error again:
Attempt to invoke method: getShell() on undefined 
variable or class name: Shell : at Line: 7 : in file: 
<Inline eval of: setNameSpace(__cruft.namespace);
b_action_console_to_front(ns) {
setNameSpace(ns);
			import console.Console;
			view.getDockableWindowManager
().addDockableWindow("console");
			console = 
view.getDockableWindowManager().getDockableWindow
("console");
			console.setShell(Shell.getShell
("System"));
			console.getTextField
().requestFocus();
		
}; > : Shell .getShell ( "System" ) 

----------------------------------------------------------------------

>Comment By: John Gellene (jgellene)
Date: 2001-09-12 13:56

Message:
Logged In: YES 
user_id=117073

in actions.xml definition of console-to-front, add second 
import statement:

import console.Shell;

action works after recompile

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=460295&group_id=588