public FindDifferencesDialog(Graph graph, IList <ListView.Item> items, double start, double end)
{
InitializeComponent();
TxWinForms.Bind(this);
this.graph = graph;
mainInstructionLabel.Font = new Font(mainInstructionLabel.Font, FontStyle.Bold);
listView.EmptyText = Tx.T("main.list is empty");
Font monospacedFont = new Font("Consolas", 8f);
startTextBox.Font = monospacedFont;
endTextBox.Font = monospacedFont;
startTextBox.Text = start.ToExactString();
endTextBox.Text = end.ToExactString();
startTextBox.SelectionStart = 0;
endTextBox.SelectionStart = 0;
foreach (var item in items)
{
listView.Items.Add(item);
}
EstimateTime(true);
refreshTimer = new Timer();
refreshTimer.Tick += OnRefreshTimer;
refreshTimer.Interval = 4000;
}
public ZoomToValueDialog(Graph graph, IList <ListView.Item> items, double value)
{
InitializeComponent();
TxWinForms.Bind(this);
this.graph = graph;
mainInstructionLabel.Font = new Font(mainInstructionLabel.Font, FontStyle.Bold);
listView.EmptyText = Tx.T("main.list is empty");
Font monospacedFont = new Font("Consolas", 8f);
valueTextBox.Font = monospacedFont;
valueTextBox.Text = value.ToExactString();
valueTextBox.SelectionStart = 0;
foreach (var item in items)
{
listView.Items.Add(item);
}
RefreshUI();
}
public ProgressDialog()
{
InitializeComponent();
TxWinForms.Bind(this);
DoubleBuffered = true;
mainInstructionFont = UI.GetMainInstructionFont();
line1.Font = Font;
line2.Font = Font;
animationTimer = new Timer();
animationTimer.Interval = 100;
animationTimer.Tick += OnAnimationTimer;
}
public AboutDialog()
{
InitializeComponent();
TxWinForms.Bind(this);
DoubleBuffered = true;
BackColor = SystemColors.Window;
Font = SystemFonts.MenuFont;
mainInstructionFont = UI.GetMainInstructionFont();
subtitleFont = new Font(Font.FontFamily, Font.Size * 0.9f, Font.Style | FontStyle.Italic, Font.Unit);
animationTimer = new Timer();
animationTimer.Interval = 24;
animationTimer.Tick += OnAnimationTimer;
}
public MainWindow()
{
InitializeComponent();
Text = App.AssemblyTitle;
BackColor = Color.FromArgb(0xFA, 0xFA, 0xFA);
toolStrip.BackColor = Color.White;
implementationButton.DropDownButtonWidth += 2;
highlightDifferencesButton.DropDownButtonWidth += 2;
listView.EmptyText = Tx.T("main.list is empty");
// Create Languages menu
string currentCulture = Tx.GetCultureName();
foreach (CultureInfo culture in Tx.AvailableCultures)
{
ToolStripMenuItem item = new ToolStripMenuItem(culture.DisplayName, null, OnLanguageMenuItemClick);
item.Tag = culture.Name;
if (culture.Name == currentCulture)
{
item.Checked = true;
}
langMenuItem.DropDownItems.Add(item);
}
// Load available implementations
ToolStripMenuItem implementationNetButton = new ToolStripMenuItem("[mathlib.internal.double]");
implementationNetButton.Click += OnSetItemCallbacksButtonClick;
implementationNetButton.Tag = defaultDoubleCallbacks;
implementationButton.DropDownItems.Add(implementationNetButton);
ToolStripMenuItem implementationNetFloatButton = new ToolStripMenuItem("[mathlib.internal.float]");
implementationNetFloatButton.Click += OnSetItemCallbacksButtonClick;
implementationNetFloatButton.Tag = defaultFloatCallbacks;
implementationButton.DropDownItems.Add(implementationNetFloatButton);
implementationButton.DropDownItems.Add(new ToolStripSeparator());
LoadAllExternalOperators(implementationButton.DropDownItems);
implementationButton.DropDownItems.Add(new ToolStripSeparator());
ToolStripMenuItem implementationAddButton = new ToolStripMenuItem("[mathlib.add]");
implementationAddButton.Click += OnImplementationAddButtonClick;
implementationButton.DropDownItems.Add(implementationAddButton);
// Add available highlight differences modes
ToolStripMenuItem highlightOffButton = new ToolStripMenuItem("[highlight.disabled]");
highlightOffButton.Checked = true;
highlightOffButton.Click += OnHighlightOffButtonClick;
highlightDifferencesButton.DropDownItems.Add(highlightOffButton);
ToolStripMenuItem highlightConstantButton = new ToolStripMenuItem("[highlight.constant]");
highlightConstantButton.Click += OnHighlightConstantButtonClick;
highlightDifferencesButton.DropDownItems.Add(highlightConstantButton);
ToolStripMenuItem highlightDynamicButton = new ToolStripMenuItem("[highlight.dynamic]");
highlightDynamicButton.Click += OnHighlightDynamicButtonClick;
highlightDifferencesButton.DropDownItems.Add(highlightDynamicButton);
ToolStripMenuItem averageButton = new ToolStripMenuItem("[highlight.only diff]");
averageButton.Click += OnAverageButtonClick;
highlightDifferencesButton.DropDownItems.Add(averageButton);
TxWinForms.Bind(this);
Tx.DictionaryChanged += OnTxDictionaryChanged;
// Setup graph
graph.DataSource = listView.Items;
OnScaleFactorChanged();
RefreshToolStrip();
}
