📄 preferencesmanager.java
字号:
/*
* PreferencesManager.java
*
* Created on 13 marzec 2006, 16:45
*
* To change this template, choose Tools | Options and locate the template under
* the Source Creation and Management node. Right-click the template and choose
* Open. You can then make changes to the template in the Source Editor.
*/
package net.sf.jawp.client.prefs;
import net.sf.jbull.util.PreferencesHelper;
/**
*
* @author jarek
*/
public final class PreferencesManager
{
private static class PreferencesManagerHolder
{
private static final PreferencesManager instance = new PreferencesManager();
}
private PreferencesHelper helper;
/** Creates a new instance of PreferencesManager */
private PreferencesManager()
{
helper = PreferencesHelper.getInstance();
}
public static PreferencesManager getInstance()
{
return PreferencesManagerHolder.instance;
}
public JAWPClientPrefs loadClientPreferences()
{
final JAWPClientPrefs result = new JAWPClientPrefs();
helper.readUserPrefs( result, JAWPClientPrefs.DEFAULT);
return result;
}
public void storeClientPreferences(final JAWPClientPrefs pref)
{
helper.getInstance().writeUserPrefs(pref);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -