Esempio n. 1
0
        public void LoadSettings()
        {
            PropertiesFile props = new PropertiesFile(AppDomain.CurrentDomain.BaseDirectory + "properties.properties");

            Host           = props.get("Host", "127.0.0.1");
            Port           = int.Parse(props.get("Port", "25565"));
            TableId        = int.Parse(props.get("TableId", "0"));
            ReloadInterval = int.Parse(props.get("ReloadInterval", "10000"));
            FontSize       = int.Parse(props.get("FontSize", "72"));
            HourChange     = int.Parse(props.get("HourChange", "0"));
        }
Esempio n. 2
0
        public void SaveSettings()
        {
            PropertiesFile props = new PropertiesFile(AppDomain.CurrentDomain.BaseDirectory + "properties.properties");

            props.set("Host", Host);
            props.set("Port", Port.ToString());
            props.set("TableId", TableId.ToString());
            props.set("ReloadInterval", ReloadInterval.ToString());
            props.set("FontSize", FontSize.ToString());
            props.set("HourChange", HourChange.ToString());
            props.Save();
        }