PageRenderTime 39ms CodeModel.GetById 16ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre4/bsh/commands/classBrowser.bsh

#
Unknown | 48 lines | 38 code | 10 blank | 0 comment | 0 complexity | 23670d4c5f0bfbca9dd26ea0b2112031 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0 
    

  1. /**
    2. 

  2. 	Open the class browser.
    3. 

  3. */
    4. 

  4. import bsh.util.ClassBrowser;
    5. 

  5. 

  6. classBrowser() 
    7. 

  7. {
    8. 

  8. 	this.inDesktop = ( bsh.system.desktop != void );
    9. 

  9. 

  10. 	this.browser = new ClassBrowser( this.interpreter.getClassManager() );
    11. 

  11. 	browser.init();
    12. 

  12. 

  13. 	if ( inDesktop ) {
    14. 

  14. 		this.frame = 
    15. 

  15. 			bsh.system.desktop.makeInternalFrame("BeanShell Class Browser");
    16. 

  16. 		frame.frameIcon = bsh.system.icons.eye;
    17. 

  17. 		bsh.system.desktop.classbrowser = browser;
    18. 

  18. 	} else {
    19. 

  19. 		this.frame = new javax.swing.JFrame("BeanShell Class Browser");
    20. 

  20. 		frame.iconImage=bsh.system.icons.eye.image;
    21. 

  21. 	}
    22. 

  22. 		
    23. 

  23. 	// Ignore unhandled method invocations from listeners.
    24. 

  24. 	invoke( name, args ) {
    25. 

  25. 		if ( !name.startsWith("internalFrame") )
    26. 

  26. 			throw new Error("method: "+name);
    27. 

  27. 	}
    28. 

  28. 	internalFrameClosing( e ) {
    29. 

  29. 		// really need foo=void;...  
    30. 

  30. 		bsh.system.desktop.classbrowser = null;
    31. 

  31. 	}
    32. 

  32. 

  33. 	if ( inDesktop )
    34. 

  34. 		frame.addInternalFrameListener(this);
    35. 

  35. 

  36. 	browser.setFrame( frame );
    37. 

  37. 	frame.getContentPane().add("Center", browser);
    38. 

  38. 	frame.pack();
    39. 

  39. 

  40. 	if ( inDesktop )
    41. 

  41. 		bsh.system.desktop.addInternalFrame(frame);
    42. 

  42. 

  43. 	frame.show();
    44. 

  44. 	frame.selected=true;
    45. 

  45. 

  46. 	return browser;
    47. 

  47. }
    48. 

  48. 

  49.