void update_tab_page_text(TabPage _tab_page, bool _force_update)
{
bool has_data_changed_mark = (_tab_page.Text.IndexOf("*") >= 0);
py_editor_doc_page doc_page = _tab_page.Controls[0] as py_editor_doc_page;
if (doc_page.get_data_changed_flag() != has_data_changed_mark || _force_update == true)
{
_tab_page.Text = get_doc_page_filename(doc_page) + (doc_page.get_data_changed_flag() ? "*":"");
}
}
void delete_page(TabPage _tab_page, bool _force_delete)
{
py_editor_doc_page doc_page = _tab_page.Controls[0] as py_editor_doc_page;
if (_force_delete == false && doc_page.get_data_changed_flag())
{
if (message_box("All unsaved data will be lost!\nDo you want to save the script?", _tab_page.Text, MessageBoxButtons.YesNo, MessageBoxIcon.Warning) == DialogResult.Yes)
{
if (doc_page.script_filename == null)
{
saveFileDialog.ShowDialog();
}
else
{
save_script(_tab_page);
}
}
}
DocPagesContainer.TabPages.Remove(_tab_page);
doc_page.TextChangedEvent -= text_changed;
doc_page.SelectionChangedEvent -= selection_changed;
doc_page.UpdateLnColMsgEvent -= update_ln_col_status_msg;
doc_page.destroy();
update_status_msg("script deleted");
}
