📄 jndiview.bsh
字号:
import org.jboss.console.manager.interfaces.*;
import org.jboss.console.manager.interfaces.impl.*;
import org.jboss.console.plugins.*;
import org.jboss.console.plugins.helpers.*;
TreeNode getTreeForResource(ManageableResource resource,
PluginContext ctx)
{
try
{
return ctx.createResourceNode (
"JNDIView", // name
"Viewer for JNDI Tree", // description
"images/jndiview.gif", // Icon URL
"JNDIView.jsp", // Default URL
null,
null,
null,
new SimpleFolderResource ("ROOT/JNDIView"));
}
catch (Exception e)
{
e.printStackTrace ();
return null;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -