📄 tools.java
字号:
package com.softfz.jn0708.util;
import java.awt.Font;
import java.io.BufferedWriter;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileOutputStream;
import java.io.FileWriter;
import java.io.IOException;
import java.text.DateFormat;
import java.text.SimpleDateFormat;
import java.util.Date;
import java.util.Properties;
import javax.swing.UIManager;
/**
* 工具类
* 用于存储客户端的设置信息.
* @author admin
*
*/
public class Tools {
public static Properties properties = null;
/**
* 设置字体的方法
* @param font
*/
public static void setFont(Font font){
javax.swing.plaf.FontUIResource fontRes = new javax.swing.plaf.
FontUIResource(font);
java.util.Enumeration keys = UIManager.getDefaults().keys();
while (keys.hasMoreElements()) {
Object key = keys.nextElement();
Object value = UIManager.get(key);
if (value instanceof javax.swing.plaf.FontUIResource) {
UIManager.put(key, fontRes);
}
}
}
/**
* 工具类_构造函数
*
*/
public Tools(){
/**
* 获取配置信息.使用静态块加载默认配置信息.
*/
properties = new Properties();
try {
properties.load(new FileInputStream("./config.ini"));
} catch (IOException e) {
// JOptionPane.showMessageDialog(null, "获取配置信息出错!");
Log.getInstance(Tools.class).log("获取配置信息!");
Log.getInstance(Tools.class).log(e);
}
}
// /**
// * 加载QQ对应设置信息.
// *
// * @param dir
// * QQ号码.
// */
// public static void setProperties(String dir) {
// File qqFile = new File("./log/" + dir);
// if (qqFile.exists()) {// 如果对应的文件夹存在,则表示用户登录过,加载.
// try {
// properties.clear();
// properties.load(new FileInputStream("./log/" + dir
// + "/selfset.ini"));
// } catch (IOException e) {
// Log.getInstance(Tools.class).log("获取配置信息!");
// Log.getInstance(Tools.class).log(e);
// }
// } else {// 如果用户第一次登录,产生相应的文件夹.
// qqFile.mkdir();
// saveProperties(dir);
// }
// }
//
/**
* 保存设置.
*
*/
public static void saveProperties(String dir) {
try {
properties.store(new FileOutputStream("./" + dir
+ "/config.ini"), null);
} catch (Exception ex) {
Log.getInstance(Tools.class).log(ex);
}
}
/**
* 写入日志文件的方法.
*/
public static void writeToLogFile(String str) {
BufferedWriter bufferedWriter = null;
FileWriter fileWriter = null;
Date nowDate = new Date();
DateFormat dateFormat = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss");
String nowTime = dateFormat.format(nowDate);
str = "{"+nowTime+"} "+str+"\n";
try {
fileWriter = new FileWriter(new File("./Log.txt"),true);
bufferedWriter = new BufferedWriter(fileWriter);
bufferedWriter.write(str, 0, str.length());
bufferedWriter.flush();
} catch (IOException e) {
Log.getInstance(Tools.class).log(e);
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -