Skip to content

Commit 35dd594

Browse files
committed
fix archive dev patch for recent updates.
1 parent 2472452 commit 35dd594

File tree

1 file changed

+10
-7
lines changed

1 file changed

+10
-7
lines changed
Lines changed: 10 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,16 @@
1-
diff --git a/gui/babeldata.h b/gui/babeldata.h
2-
index b79cd1dc..c4d82e8c 100644
3-
--- a/gui/babeldata.h
4-
+++ b/gui/babeldata.h
5-
@@ -150,7 +150,7 @@ public:
1+
diff --git a/a/.git/index b/b/.git/index
2+
index ebfef17..34c8fc3 100644
3+
Binary files a/a/.git/index and b/b/.git/index differ
4+
diff --git a/a/gui/babeldata.h b/b/gui/babeldata.h
5+
index 50d6d1e..4a7a573 100644
6+
--- a/a/gui/babeldata.h
7+
+++ b/b/gui/babeldata.h
8+
@@ -152,7 +152,7 @@ public:
69
int runCount_{0};
710

811
// Global preferences.
912
- bool startupVersionCheck_{true};
1013
+ bool startupVersionCheck_{false};
1114
bool reportStatistics_{true};
12-
bool allowBetaUpgrades_{false};
13-
bool ignoreVersionMismatch_{false};
15+
bool upgradeMenuEnabled_{true};
16+
bool mapPreviewEnabled_{true};

0 commit comments

Comments
 (0)