private static void OnChanged(bool saveToDisk = true) { // Flush to disk if (saveToDisk) Save(); var handler = Changed; if (handler != null) { handler(null, EventArgs.Empty); } }