/// virtual public void SaveTxtFile() { string fname = TxtManagerUtility.file_get_save(); if (fname == string.Empty) { return; } TxtManagerUtility.file_save(fname, Enc, TextArray); OnFileNameChanged(fname, "saved"); }
/// virtual public void SaveTxtFile(string fname) { TxtManagerUtility.file_save(fname, Enc, TextArray); }