void UpdateTotalNoteCount (int total) { string status = string.Format ( Catalog.GetPluralString ("Total: {0} note", "Total: {0} notes", total), total); status_bar.Pop (0); status_bar.Push (0, status); }