From b0586e9c369890b5a80744bcd614a7ba8f864136 Mon Sep 17 00:00:00 2001 From: Dome Date: Fri, 25 Jul 2025 16:57:22 +0200 Subject: [PATCH] Update prefs.js --- prefs.js | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/prefs.js b/prefs.js index 8bcebda..8c28ef9 100644 --- a/prefs.js +++ b/prefs.js @@ -1,5 +1,5 @@ // ------------------------------------------------------ // -// Extension Settings Menu for Simple Tiling - Version 4 // +// Extension Settings Menu for Simple Tiling - Version 5 // // © 2025 domoel – MIT // // ------------------------------------------------------ // @@ -78,7 +78,6 @@ function buildPrefsWidget() { addKeybinding(store, settings, "focus-left", "Fokus nach links wechseln"); addKeybinding(store, settings, "focus-right", "Fokus nach rechts wechseln"); - let treeView = new Gtk.TreeView({ model: store, headers_visible: false,