Fix connection form: use string concat workaround for Perry NaN-boxing bugs

textfieldGetString returns correct values at the native level, but
Perry's codegen strips the NaN-box tag when storing in is_string locals.
This causes || to treat values as falsy and encodeURIComponent to
produce "undefined".

Workaround: use `textfieldGetString(field) + ''` to force Perry's
string concatenation codegen path, which correctly handles i64 string
pointers. Then use .length checks for conditionals.

Also adds Edit menu with standard macOS actions (Cmd+A/C/V/X) and
Tab navigation between connection form fields.

Perry bugs filed: PerryTS/perry#10, #11, #12

Author: proggeramlug

src/app.ts

@@ -717,24 +717,23 @@ function showConnectionForm(): void {
       const host = (typeof hostRaw === 'string' && hostRaw.length > 0) ? hostRaw : (formHost || 'localhost');
       const portRaw = textfieldGetString(portField);
       const port = (typeof portRaw === 'string' && portRaw.length > 0) ? portRaw : (formPort || '27017');
-      const user = textfieldGetString(userField) || '';
-      const pass = textfieldGetString(passField) || '';
-      const rawUri = textfieldGetString(uriField) || '';
-
-      // Build URI from fields if no explicit URI provided
-      let uri = rawUri;
-      if (!uri) {
-        // Only include auth if BOTH user and pass are non-empty real strings
-        let hasAuth = false;
-        if (user) {
-          const uTest = encodeURIComponent(user);
-          if (uTest.indexOf('undef') < 0 && uTest.length > 0) hasAuth = true;
-        }
-        if (hasAuth && pass) {
-          uri = 'mongodb://' + encodeURIComponent(user) + ':' + encodeURIComponent(pass) + '@' + host + ':' + port;
-        } else {
-          uri = 'mongodb://' + host + ':' + port;
-        }
+      // Build URI using string concatenation (+) which Perry's codegen handles
+      // correctly for is_string locals. encodeURIComponent and || fail due to
+      // NaN-boxing being stripped (see PerryTS/perry#10, #12).
+      // Read user/pass into string variables via + '' (forces string concat path)
+      const userStr = textfieldGetString(userField) + '';
+      const passStr = textfieldGetString(passField) + '';
+      const uriStr = textfieldGetString(uriField) + '';
+
+      let uri = '';
+      if (uriStr.length > 0) {
+        uri = uriStr;
+      } else if (userStr.length > 0 && passStr.length > 0) {
+        // Note: not using encodeURIComponent — it corrupts NaN-boxed strings.
+        // Users with special chars in user/pass should use the URI field instead.
+        uri = 'mongodb://' + userStr + ':' + passStr + '@' + host + ':' + port;
+      } else {
+        uri = 'mongodb://' + host + ':' + port;
       }
 
       // Extract host (without port) from URI for display in connection list
@@ -773,6 +772,8 @@ function showConnectionForm(): void {
       formPort = '27017';
       formUser = '';
       formPass = '';
+      saveState('_fu', '');
+      saveState('_fp', '');
       formUri = '';
       widgetSetHidden(formContainer, 1);
       widgetSetHidden(connListContainer, 0);