📄 jawpclientprefs.java
字号:
/*
* JAWPClientPrefs.java
*
* Created on 13 marzec 2006, 16:44
*
* 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.jawp.RMIConst;
/**
*
* @author jarek
*/
public class JAWPClientPrefs
{
private String host = "localhost";
private int port = RMIConst.RMI_PORT;
public static final JAWPClientPrefs DEFAULT = new JAWPClientPrefs();
/** Creates a new instance of JAWPClientPrefs */
public JAWPClientPrefs()
{
}
public String getHost()
{
return host;
}
public void setHost(String host)
{
this.host = host;
}
public int getPort()
{
return port;
}
public void setPort(int port)
{
this.port = port;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -