📄 printbanner.bsh
字号:
/** Print the BeanShell banner (version and author line) - GUI or non GUI. @author Daniel Leuck*/import javax.swing.ImageIcon;import java.awt.*;import bsh.Interpreter;import bsh.Capabilities;import bsh.util.JConsole;/* Note: any errors thrown in here will be caught by interpreter and ignored... printing the default message.*/printBanner() { if ( bsh.console != void && Capabilities.haveSwing() && (bsh.console instanceof JConsole) ) { jconsole = bsh.console; jconsole.println( new ImageIcon( getResource("/bsh/util/lib/small_bean_shell.gif")) ); jconsole.print( Interpreter.VERSION + " - by Pat Niemeyer (pat@pat.net)", new Font("SansSerif", Font.BOLD, 12), new Color(20,100,20) ); jconsole.println(); } else print( "BeanShell " + Interpreter.VERSION +" - by Pat Niemeyer (pat@pat.net)");}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -