private void OpenHr(HealthRecord hr) { Contract.Ensures(HrList.holder == hr.Holder.Actual); OpenHolder(hr.Holder, false); HrList.SelectHealthRecord(hr); }
/// <summary> /// Открывает запись и редактор для записи и начинает редактирование слов. /// </summary> public void StartEditHr(HealthRecord hr, bool addToSelected = true) { Contract.Requires(hr != null); Contract.Assume(hr.Holder == HrList.holder); //logger.DebugFormat("StartEditHr {0}", hr); HrList.SelectHealthRecord(hr, addToSelected); HrEditor.Load(hr); HrEditor.Autocomplete.StartEdit(); }
private void OpenHrs(IEnumerable <HealthRecord> hrs) { Contract.Ensures(!hrs.Any() || HrList.holder == hrs.First().Holder); var first = hrs.FirstOrDefault(); if (first != null) { OpenHolder(first.Holder, false); // если есть удаленные записи - просто не будут выделены HrList.SelectHealthRecords(hrs); } }
private void AddHr(IHrsHolder holder, bool startEdit) { Contract.Requires(holder != null); Contract.Ensures(HrList.holder == holder); // open holder list first if (HrList.holder != holder) { Open(holder); } var hr = HrList.AddHr(); if (startEdit) { StartEditHr(hr, false); } }
private void CloseHrList() { if (HrList == null) { return; } var holder = HrList.holder; HrList.Dispose(); HrList = null; //do not save holder after deleting it if (deletingHolder == holder) { return; } var hrs = RemoveEmptyHrs(holder).ToArray(); Session.DoSave(holder); }