private VariableEditor createAndRegisterNewVariableEditor(Variable var) { VariableEditor ved = new VariableEditor(); ved.setVariable(var); /* int x = variableEditorPlaceholder.Location.X; * int y = variableEditorPlaceholder.Location.Y + variableEditors.Count * (variableEditorPlaceholder.Height + 5); * ved.Location = new Point(x, y);*/ ved.variableDeleted += new EventHandler(ved_variableDeleted); // ved.SizeChanged += new EventHandler(ved_SizeChanged); ved.valueChanged += new EventHandler(ved_valueChanged); variableEditors.Add(ved); return(ved); }
void ved_variableDeleted(object sender, EventArgs e) { if (sender is VariableEditor) { VariableEditor ved = (VariableEditor)sender; // faster way to delete this variable from UI, // if we know which specific editor it was variableEditors.Remove(ved); variablesPanel.Controls.Remove(ved); ved.Dispose(); } else { this.layout(); } }
private VariableEditor createAndRegisterNewVariableEditor(Variable var) { VariableEditor ved = new VariableEditor(); ved.setVariable(var); /* int x = variableEditorPlaceholder.Location.X; int y = variableEditorPlaceholder.Location.Y + variableEditors.Count * (variableEditorPlaceholder.Height + 5); ved.Location = new Point(x, y);*/ ved.variableDeleted += new EventHandler(ved_variableDeleted); // ved.SizeChanged += new EventHandler(ved_SizeChanged); ved.valueChanged += new EventHandler(ved_valueChanged); variableEditors.Add(ved); return ved; }