From 6ee570239f05c0ddaa91baed606eb2384c91d632 Mon Sep 17 00:00:00 2001
From: Juraj Fiala <jurf@riseup.net>
Date: Wed, 15 Nov 2023 12:14:15 +0100
Subject: [PATCH] fix: Properly name preference class

---
 prefs.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prefs.js b/prefs.js
index 8765ec1..ba64091 100644
--- a/prefs.js
+++ b/prefs.js
@@ -25,7 +25,7 @@ import Gio from 'gi://Gio';
 
 import {ExtensionPreferences, gettext as _} from 'resource:///org/gnome/Shell/Extensions/js/extensions/prefs.js';
 
-export default class MyExtensionPreferences extends ExtensionPreferences {
+export default class KMonadTogglePreferences extends ExtensionPreferences {
     fillPreferencesWindow(window) {
         window._settings = this.getSettings();