Modify header separator in query to avoid issue during export

specifyweb/frontend/js_src/lib/components/Preferences/UserDefinitions.tsx

@@ -1551,6 +1551,13 @@ export const userPreferenceDefinitions = {
             defaultValue: false,
             type: 'java.lang.Boolean',
           }),
+          joinHeadersWithSeparator: definePref<boolean>({
+            title: preferencesText.joinHeadersWithSeparator(),
+            requiresReload: false,
+            visible: true,
+            defaultValue: true,
+            type: 'java.lang.Boolean',
+          }),
         },
       },
       appearance: {

specifyweb/frontend/js_src/lib/components/QueryBuilder/Results.tsx

@@ -390,13 +390,20 @@ function TableHeaderCell({
   // TableName refers to the table the field is from, not the base table name of the query
   const tableName = fieldSpec?.table?.name;
 
+  const [isJoinHeadersWithSeparator] = userPreferences.use(
+    'queryBuilder',
+    'behavior',
+    'joinHeadersWithSeparator'
+  );
+
   const content =
     typeof fieldSpec === 'object' ? (
       <>
         {tableName && <TableIcon label name={tableName} />}
         {generateMappingPathPreview(
           fieldSpec.baseTable.name,
-          fieldSpec.toMappingPath()
+          fieldSpec.toMappingPath(),
+          isJoinHeadersWithSeparator
         )}
       </>
     ) : undefined;

specifyweb/frontend/js_src/lib/components/WbPlanView/mappingPreview.ts

@@ -83,7 +83,8 @@ const mappingPathSubset = <T extends string | undefined>(
  */
 export function generateMappingPathPreview(
   baseTableName: keyof Tables,
-  mappingPath: MappingPath
+  mappingPath: MappingPath,
+  addSeparator: boolean = true
 ): string {
   if (mappingPath.length === 0) return strictGetTable(baseTableName).label;
 
@@ -176,5 +177,5 @@ export function generateMappingPathPreview(
     toManyIndexFormatted,
   ])
     .filter(Boolean)
-    .join(' · ');
+    .join(addSeparator ? ' · ' : ' ');
 }

specifyweb/frontend/js_src/lib/localization/preferences.ts

@@ -1979,4 +1979,7 @@ export const preferencesText = createDictionary({
     'ru-ru': 'Добавить панель поиска на главную страницу',
     'uk-ua': 'Додайте рядок пошуку на головну сторінку',
   },
+  joinHeadersWithSeparator: {
+    'en-us': 'Join headers with separator',
+  },
 } as const);