// Inserts a modified taskgenwidget, made for autogenerated tasks
public void InsertTaskGenTextView(string TaskString)
{
MovableCasTextView movableCasTextView = new MovableCasTextView(TaskString);
movableCasTextView.textview.LockTextView(true);
movableCasTextView.Attach(AddLockCheckButton(movableCasTextView), 1, 100, 1, 1);
movableCasTextView.Attach(AddCommandButtons(movableCasTextView), 100, 1, 1, 1);
castextviews.Add(movableCasTextView);
Clear();
Redraw();
ShowAll();
}
// Inserts a textview
public void InsertTextView(string serializedString, bool locked, int pos)
{
MovableCasTextView movableCasTextView = new MovableCasTextView(serializedString, locked);
movableCasTextView.textview.LockTextView(locked);
movableCasTextView.Attach(AddLockCheckButton(movableCasTextView), 1, 100, 1, 1);
movableCasTextView.Attach(AddCommandButtons(movableCasTextView), 100, 1, 1, 1);
if (pos == -1)
{
castextviews.Add(movableCasTextView);
}
else
{
castextviews.Insert(pos, movableCasTextView);
}
Clear();
Redraw();
ShowAll();
}
