?? 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 + -