mirror of
https://github.com/fadden/6502bench.git
synced 2025-01-16 04:32:34 +00:00
Tweak
This commit is contained in:
parent
fca742e890
commit
3a349b2761
@ -746,7 +746,7 @@ namespace SourceGen {
|
|||||||
private void CreateAutoSaveTimer() {
|
private void CreateAutoSaveTimer() {
|
||||||
mAutoSaveTimer = new DispatcherTimer();
|
mAutoSaveTimer = new DispatcherTimer();
|
||||||
mAutoSaveTimer.Tick += new EventHandler(AutoSaveTick);
|
mAutoSaveTimer.Tick += new EventHandler(AutoSaveTick);
|
||||||
mAutoSaveTimer.Interval = TimeSpan.FromSeconds(5);
|
mAutoSaveTimer.Interval = TimeSpan.FromSeconds(30); // place-holder, overwritten later
|
||||||
}
|
}
|
||||||
|
|
||||||
/// <summary>
|
/// <summary>
|
||||||
@ -862,7 +862,7 @@ namespace SourceGen {
|
|||||||
|
|
||||||
int interval = AppSettings.Global.GetInt(AppSettings.PROJ_AUTO_SAVE_INTERVAL, 0);
|
int interval = AppSettings.Global.GetInt(AppSettings.PROJ_AUTO_SAVE_INTERVAL, 0);
|
||||||
if (interval <= 0) {
|
if (interval <= 0) {
|
||||||
// We don't want a recovery file. If one exists, close it and remove it.
|
// We don't want a recovery file. If one is open, close it and remove it.
|
||||||
if (mRecoveryStream != null) {
|
if (mRecoveryStream != null) {
|
||||||
Debug.WriteLine("Recovery: auto-save is disabled");
|
Debug.WriteLine("Recovery: auto-save is disabled");
|
||||||
DiscardRecoveryFile();
|
DiscardRecoveryFile();
|
||||||
|
Loading…
x
Reference in New Issue
Block a user