| private showDeletedLines_CheckedChanged ( object sender, EventArgs e ) : void | ||
| sender | object | |
| e | EventArgs | |
| return | void | |
private void showDeletedLines_CheckedChanged(object sender, EventArgs e) {
// optimize - if nothing deleted
int del_count = notes_sorted_by_line_index_.Count(x => x.deleted);
if (del_count == 0)
return;
readd_everything();
util.postpone( () => notesCtrl.Focus(), 10);
}