Various improvements (#974)

README.md

@@ -17,7 +17,7 @@ Among other things, Workbench comes with
 - JavaScript, Rust, Python and Vala support
 - Declarative user interface syntax
 - Autosave, sessions and projects
-- Code linter and formatter
+- Code diagnostics, completion and formatter
 - Terminal output
 
 ℹ️ Workbench is made possible by Flatpak. Only Flathub Workbench is supported.

data/app.metainfo.xml

@@ -19,7 +19,7 @@
       <li>JavaScript, Rust, Python and Vala support</li>
       <li>Declarative user interface syntax</li>
       <li>Autosave, sessions and projects</li>
-      <li>Code linter and formatter</li>
+      <li>Code diagnostics, completion and formatter</li>
       <li>Terminal output</li>
     </ul>
   </description>

src/cli/main.js

@@ -31,7 +31,7 @@ export async function main([action, ...args]) {
 
   if (action === "ci") {
     const filenames = args;
-    const success = await ci({ filenames, current_dir });
+    const success = await ci({ filenames });
     return success ? 0 : 1;
   }
 
@@ -43,12 +43,10 @@ export async function main([action, ...args]) {
   }
 
   if (lang.id === "vala") {
-    const api_file = (
-      GLib.getenv("FLATPAK_ID")
-        ? Gio.File.new_for_path(pkg.pkgdatadir)
-        : current_dir.resolve_relative_path("src/langs/vala")
-    ).get_child("workbench.vala");
-    api_file.copy(
+    const file_api = Gio.File.new_for_path(pkg.pkgdatadir).get_child(
+      "workbench.vala",
+    );
+    file_api.copy(
       current_dir.get_child("workbench.vala"),
       Gio.FileCopyFlags.OVERWRITE,
       null,
@@ -122,7 +120,7 @@ async function checkFile({ lspc, file, lang, uri }) {
   }
 }
 
-async function ci({ filenames, current_dir }) {
+async function ci({ filenames }) {
   for (const filename of filenames) {
     const demo_dir = Gio.File.new_for_path(filename);
 
@@ -354,12 +352,10 @@ async function ci({ filenames, current_dir }) {
       const languageId = "vala";
       let version = 0;
 
-      const api_file = (
-        GLib.getenv("FLATPAK_ID")
-          ? Gio.File.new_for_path(`/app/share/${GLib.getenv("FLATPAK_ID")}`)
-          : current_dir.resolve_relative_path("src/langs/vala")
-      ).get_child("workbench.vala");
-      api_file.copy(
+      const file_api = Gio.File.new_for_path(pkg.pkgdatadir).get_child(
+        "workbench.vala",
+      );
+      file_api.copy(
         demo_dir.get_child("workbench.vala"),
         Gio.FileCopyFlags.OVERWRITE,
         null,

src/init.js

@@ -1,5 +1,5 @@
 import "gi://GIRepository?version=2.0";
-import Gtk from "gi://Gtk";
+import Gtk from "gi://Gtk?version=4.0";
 import Source from "gi://GtkSource";
 import Adw from "gi://Adw";
 import Vte from "gi://Vte";