Deal with trailing # in name

Author: fileformat

bin/ucd_to_json.ts

@@ -52,7 +52,7 @@ async function main() {
 	if (true) {
 		const allJsonPath = path.join(__dirname, "..", "tmp", "ucd.all.flat.json");
 		console.log(`INFO: writing full JSON data to ${allJsonPath}`);
-		fs.writeFile(
+		await fs.writeFile(
 			allJsonPath,
 			JSON.stringify(jsonObj, null, 2),
 			"utf-8"
@@ -161,6 +161,11 @@ async function main() {
 			name = charData['name-alias'][0].alias;
 		}
 
+		if (name.endsWith('#')) {
+			name = name.slice(0, -1);
+			name = name + charData.cp;
+		}
+
 		var notes: string[] = [];
 
 		try {

src/index.ts

@@ -585,13 +585,15 @@ async function main() {
 				},
 				headerFilter: "input",
 				headerFilterFunc: filterName,
-				headerPopup: `Use <code>^</code> to search at the beginning<br/>Use <code>/regex/</code> to search with a regular expression`,
+				headerPopup: `Use <code>^</code> to search at the beginning<br/>
+				Use <code>/regex/</code> to search with a regular expression<br/>
+				Also searches Notes`,
 				headerPopupIcon:
 					'<span class="badge rounded-pill text-bg-primary">?</span>',
 				width: 325,
 			},
 			{
-				title: "Tags",
+				title: "Notes & Tags",
 				field: "tags",
 				formatter: fmtTags,
 				headerFilter: "input",