internal void SetTimerConfig(TimerConfig config)
{
if (config != null)
{
mTimerConfigString = config.ToString();
}
}
private ActivityManager(WebBrowser wb, string configFileName)
{
this.mWebBrowser = wb;
this.mStartupPath = Application.StartupPath;
this.mConfigFileName = Path.Combine(this.mStartupPath, configFileName);
mActivityNameMap = new Dictionary <string, Activity>();
mActivityClassMap = new Dictionary <string, Activity>();
mPageTimer = new TimerWrapper(0, 1, pageTimer_TimeTick, pageTimer_TimeOut);
mMonitorTimer = new TimerWrapper(1, monitorTimer_TimeTick);
mTimerConfigString = (TimerConfig.Default()).ToString();
}
public static TimerConfig Default()
{
TimerConfig config = new TimerConfig();
config.Width = 50;
config.Height = 30;
config.Top = 80;
config.Left = 930;
config.Color = "white";
config.Font_Family = "黑体";
config.Font_Size = 25;
return(config);
}
/// <summary>
/// 设置定时器在界面上的显示属性
/// </summary>
/// <param name="config"></param>
protected static void SetTimerConfig(TimerConfig config)
{
Context.SetTimerConfig(config);
}