📄 log.java
字号:
package inline.sys;
import java.util.*;
public class Log
{
private static Vector history;
private static final int HISTORYMAX = 10;
//private static long sttime;
static
{
history = new Vector();
//sttime = System.currentTimeMillis();
}
public static void fire(String s)
{
System.err.println(s);
history.insertElementAt(s, 0);
history.setSize(HISTORYMAX);
}
public static Vector getHistory()
{
return history;
}
public static String getString()
{
String out = "";
for(int i=0;i<history.size();i++)
{
String el = (String)history.elementAt(i);
if (el == null) break;
out = out + el + "\n";
}
return out;
}
/* public static void dubTime(String event)
{
System.out.println("*** "+Long.toString(System.currentTimeMillis()-sttime)+": "+event);
}*/
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -