From 858c0e448d947abc8285740d8d8f6880432a840e Mon Sep 17 00:00:00 2001
From: tildearrow <me@tildearrow.org>
Date: Sun, 24 Dec 2023 16:59:09 -0500
Subject: [PATCH] set writeInsNames to 0 by default

so we can beat .dmp
---
 src/gui/gui.h        | 2 +-
 src/gui/settings.cpp | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/gui/gui.h b/src/gui/gui.h
index 39fac0132..51abb74ae 100644
--- a/src/gui/gui.h
+++ b/src/gui/gui.h
@@ -1911,7 +1911,7 @@ class FurnaceGUI {
       chanOscThreads(0),
       renderPoolThreads(0),
       showPool(0),
-      writeInsNames(1),
+      writeInsNames(0),
       readInsNames(1),
       fontBackend(1),
       fontHinting(0),
diff --git a/src/gui/settings.cpp b/src/gui/settings.cpp
index 708fe67b2..8c503d72b 100644
--- a/src/gui/settings.cpp
+++ b/src/gui/settings.cpp
@@ -3750,7 +3750,7 @@ void FurnaceGUI::readConfig(DivConfig& conf, FurnaceGUISettingGroups groups) {
     settings.chanOscThreads=conf.getInt("chanOscThreads",0);
     settings.renderPoolThreads=conf.getInt("renderPoolThreads",0);
     settings.showPool=conf.getInt("showPool",0);
-    settings.writeInsNames=conf.getInt("writeInsNames",1);
+    settings.writeInsNames=conf.getInt("writeInsNames",0);
     settings.readInsNames=conf.getInt("readInsNames",1);
     settings.defaultAuthorName=conf.getString("defaultAuthorName","");