Update Makefile

Makefile

@@ -12,7 +12,7 @@
 ###############################################################################
 
 UUID     := simple-tiling@domoel
-VERSION  := 7
+VERSION  := 7.1
 EXTDIR   := $(HOME)/.local/share/gnome-shell/extensions
 
 COMMON_FILES   := prefs.js schemas exceptions.txt locale *.css README.md LICENSE

README.md

@@ -49,7 +49,7 @@ Use the [GNOME Shell Extensions website](https://extensions.gnome.org/extension/
 
 #### Manual Installation
 
-The repository includes a Makefile that produces ready‑to‑install ZIP packages for the two supported GNOME‑Shell lines (a legacy build Gnome-Shell 3.38 - 44 and a modern build for Gnome-Shell 45+).
+The repository includes a Makefile that produces ready‑to‑install ZIP packages for the three supported Gnome‑Shell lines (a legacy build for Gnome-Shell 3.38, an interim build for Gnome-Shell 40 - 44 and a modern build for Gnome-Shell 45+).
 
 1. **Clone the Source**
    ```bash
@@ -62,10 +62,10 @@ The repository includes a Makefile that produces ready‑to‑install ZIP packag
    Open the Terminal within the Simple-Tiling directory and run
    ```bash
    make install-legacy        # Installs Legacy Extension (Gnome-Shell 3.38)
-   make install-interim       # Installs Modern Extension (Gnome-Shell 40 - 44)
+   make install-interim       # Installs Interim Extension (Gnome-Shell 40 - 44)
    make install-modern        # Installs Modern Extension (Gnome-Shell 45+)
    ```
-   **Note:** This command will directly install the extension in the choosen variant (legacy or modern). If you want to manually create and upload the extension to your gnome extensions directory `(~/.local/share/gnome-shell/extensions)` you can just run `make build` to create both versions as .zip or `make build-legacy` or `make build-modern` to create them seperately as .zip. To enable them you need to unzip these archives and put them into your extensions directory.
+   **Note:** This command will directly install the extension in the choosen variant (legacy, interim or modern). If you want to manually create and upload the extension to your gnome extensions directory `(~/.local/share/gnome-shell/extensions)` you can just run `make build` to create all versions as .zip or `make build-legacy`, `make build-interim` or `make build-modern` to create them seperately as .zip. To enable them you need to unzip these archives and put them into your extensions directory.
 
 4.  **Reload the shell**
     ```bash

prefs.interim.js

@@ -5,11 +5,11 @@
 
 'use strict';
 
-import { ExtensionPreferences } from 'resource:///org/gnome/shell/extensions/js/extensions/prefs.js';
 import Adw from 'gi://Adw';
 import Gio from 'gi://Gio';
 import Gtk from 'gi://Gtk';
 import GLib from 'gi://GLib';
+import { ExtensionPreferences, gettext as _ } from 'resource:///org/gnome/shell/extensions/js/extensions/prefs.js';
 
 export default class SimpleTilingPrefs extends ExtensionPreferences {
     fillPreferencesWindow(window) {

prefs_modern.js

@@ -4,11 +4,11 @@
 ///////////////////////////////////////////////////////////////
 
 // ── GLOBAL IMPORTS ────────────────────────────────────────
-import { ExtensionPreferences } from 'resource:///org/gnome/shell/extensions/prefs.js';
 import Adw from 'gi://Adw';
 import Gio from 'gi://Gio';
 import Gtk from 'gi://Gtk';
 import GLib from 'gi://GLib';
+import { ExtensionPreferences, gettext as _ } from 'resource:///org/gnome/shell/extensions/prefs.js';
 
 export default class SimpleTilingPrefs extends ExtensionPreferences {
     fillPreferencesWindow(window) {