⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 jedit.bsh

📁 Java写的文本编辑器
💻 BSH
字号:
/* This script is run on jEdit startup. It should be short and simple for * performance reasons. */// We use the '__cruft' scripted object to store various junk.__cruft = object();/* By default, BeanShell imports the following packages:   - javax.swing.event   - javax.swing   - java.awt.event   - java.awt   - java.net   - java.util   - java.io   - java.lang   In addition to the above, we import jEdit's packages for convinience. */import org.gjt.sp.jedit.*;import org.gjt.sp.jedit.browser.*;import org.gjt.sp.jedit.gui.*;import org.gjt.sp.jedit.io.*;import org.gjt.sp.jedit.msg.*; // not useful in macros?import org.gjt.sp.jedit.options.*; // ditto?import org.gjt.sp.jedit.pluginmgr.*;import org.gjt.sp.jedit.search.*;import org.gjt.sp.jedit.syntax.*;import org.gjt.sp.jedit.textarea.*;import org.gjt.sp.util.*;/* This function prints the specified object to the current console if one * exists; otherwise, to the activity log. */print(arg){	if(arg == null)		arg = "null";	if(arg instanceof Object[])	{		len = arg.length;		print("Array: "+arg +" {");		for(int i=0; i< len; i++ )		{			print(arg[i]);		}		print("}");	}	else	{		if(output != null)			output.print(null,String.valueOf(arg));		else			Log.log(Log.WARNING,BeanShell.class,String.valueOf(arg));	}}bsh.help.print = "usage: print ( arg )";// Print a message once BeanShell initialization is completeLog.log(Log.DEBUG,BeanShell.class,"BeanShell interpreter version "	+ this.interpreter.VERSION);

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -