private void userSettings_Changed(object sender, SettingsEventArgs args)
{
if ( args.SettingName == "Gui.DisplayFormat" )
{
string newFormat = userSettings.GetSetting( "Gui.DisplayFormat", this.displayFormat );
if ( newFormat != displayFormat )
if ( newFormat == "Full" )
displayFullGui();
else
displayMiniGui();
}
else if (args.SettingName.StartsWith("Gui.TextOutput.") && args.SettingName.EndsWith(".Content"))
{
TestLoader.IsTracingEnabled = resultTabs.IsTracingEnabled;
TestLoader.LoggingThreshold = resultTabs.MaximumLogLevel;
}
}
private void userSettings_Changed(object sender, SettingsEventArgs args)
{
if ( args.SettingName == "Gui.DisplayFormat" )
{
string newFormat = userSettings.GetSetting( "Gui.DisplayFormat", this.displayFormat );
if ( newFormat != displayFormat )
if ( newFormat == "Full" )
displayFullGui();
else
displayMiniGui();
}
}
private void UserSettings_Changed(object sender, SettingsEventArgs args)
{
if ( args.SettingName == "Options.ShowCheckBoxes" )
this.ShowCheckBoxes = Services.UserSettings.GetSetting( args.SettingName, false );
}
private void UserSettings_Changed( object sender, SettingsEventArgs e )
{
if( e.SettingName.StartsWith( "Gui.ResultTabs.Display" ) ||
e.SettingName == "Gui.TextOutput.TabList" ||
e.SettingName.StartsWith( "Gui.TextOut" ) && e.SettingName.EndsWith( "Enabled" ) )
UpdateTabPages();
}
private void UserSettings_Changed(object sender, SettingsEventArgs args)
{
string settingName = args.SettingName;
string prefix = "Gui.TextOutput.";
if ( settingName == "Gui.FixedFont" )
{
Font displayFont = GetFixedFont();
foreach( TextDisplayTabPage page in tabPages )
page.DisplayFont = displayFont;
}
else
if ( settingName.StartsWith( prefix ) )
{
string fieldName = settingName.Substring( prefix.Length );
int dot = fieldName.IndexOf('.');
if ( dot > 0 )
{
string tabName = fieldName.Substring( 0, dot );
string propName = fieldName.Substring( dot + 1 );
foreach( TextDisplayTabPage page in tabPages )
if ( page.Name == tabName )
{
switch(propName)
{
case "Title":
page.Text = (string)Services.UserSettings.GetSetting( settingName );
break;
case "Content":
page.Display.Content =
(TextDisplayContent)Services.UserSettings.GetSetting( settingName );
break;
}
}
}
}
}
private void UserSettings_Changed( object sender, SettingsEventArgs args )
{
this.WordWrap = settings.GetSetting( "Gui.ResultTabs.ErrorsTab.WordWrapEnabled", true );
Font newFont = this.stackTraceDisplay.Font = this.sourceCode.CodeDisplayFont
= settings.GetSetting("Gui.FixedFont", DefaultFixedFont);
if (newFont != this.detailList.Font)
{
this.detailList.Font = newFont;
RefillDetailList();
}
}
private void UserSettings_Changed( object sender, SettingsEventArgs e )
{
if( e.SettingName.StartsWith( "Gui.ResultTabs.Display" ) )
LoadSettingsAndUpdateTabPages();
else if ( e.SettingName == "Gui.FixedFont" )
UpdateFixedFont();
}
private void UserSettings_Changed( object sender, SettingsEventArgs args )
{
this.stackTrace.AutoExpand = settings.GetSetting( "Gui.ResultTabs.ErrorsTab.ToolTipsEnabled ", false );
this.WordWrap = settings.GetSetting( "Gui.ResultTabs.ErrorsTab.WordWrapEnabled", true );
}
private void UserSettings_Changed(object sender, SettingsEventArgs args)
{
if (args.SettingName == "Gui.TestTree.AlternateImageSet")
{
LoadAlternateImages();
Invalidate();
}
}
private void UserSettings_Changed(object sender, SettingsEventArgs args)
{
object[] param;
param = new object[] { sender, args };
CallBaseNoPublicMethod("UserSettings_Changed", param);//调用基类方法
}
