]> git.ipfire.org Git - thirdparty/vuejs/pinia.git/commitdiff
chore: add empty settings
authorEduardo San Martin Morote <posva13@gmail.com>
Mon, 15 Nov 2021 13:36:22 +0000 (14:36 +0100)
committerEduardo San Martin Morote <posva13@gmail.com>
Mon, 15 Nov 2021 13:36:22 +0000 (14:36 +0100)
packages/pinia/src/devtools/plugin.ts

index 383ee2b3a3a5a093b19d90624974de4a39c97cf7..89c2730ee559e337fff8885a90d3aafae4d808cf 100644 (file)
@@ -270,6 +270,13 @@ function addStoreToDevtools(app: DevtoolsApp, store: StoreGeneric) {
       homepage: 'https://pinia.esm.dev',
       componentStateTypes,
       app,
+      settings: {
+        // useEmojis: {
+        //   label: 'Use emojis in messages ⚡️',
+        //   type: 'boolean',
+        //   defaultValue: true,
+        // },
+      },
     },
     (api) => {
       store.$onAction(({ after, onError, name, args }) => {