display custom toString() in value explorer

2026-01-13 13:04:30 -08:00 · 2022-10-18 21:45:55 +08:00
parent 52f7c4a4b3
commit 1bea819b1a
1 changed files with 2 additions and 0 deletions
--- a/src/editor/value_explorer.js
+++ b/src/editor/value_explorer.js
@@ -69,6 +69,8 @@ export const header = object => {
          .map(stringify_for_header)
          .join(', ')
        + ']'
+    } else if(object.toString != Object.prototype.toString) {
+      return object.toString()
    } else {
      const inner = displayed_entries(object)
        .map(([k,v]) => {