📄 dbgoutput.java
字号:
// DbgOutput.java// Copyright (c) 1998, Regents of the University of California// $Id: DbgOutput.java,v 1.1 1999/06/21 00:33:49 marcel Exp $import java.io.PrintStream;public class DbgOutput{private static PrintStream _out;private static int _dbgLevel = 0; // no debugging output is the defaultstatic voidsetDbgLevel(int level){ _dbgLevel = level;}DbgOutput(){}static voidprintln(int level, String str){ if (level <= _dbgLevel) { _out.println(str); }}static voidtoStdout(){ _out = System.out;}}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -