Add typechecking for TypeScript

[vixalien]

This is a draft because there are 3 outstanding issues:

1. It seems the typechecking really works when you open a previously-saved project

I believe this is because when you open a new project and switch to typescript, the setupTypeScriptProject will copy the necessary files and folders (tsconfig.json, types/ambient.d.ts and gi-types/*) to the project. The language server doesn't know that the "project changed" (newly created files) so it won't see the various type augmentations.

The fix could be as easy as to kill and spawn a new language server, but I'm not sure if that would be the right approach.

2. The globalThis.workbench types aren't there yet

Working on it 🚀

3. Generated gi.d.ts files require setting the path to include them

The generated types from gi-typescript-definitions have peculiar imports. They import each other as if they are all global

import * as Gtk from "gtk4";
import * as GObject from "gobject2";
import * as Gio from "gio2";
import * as GLib from "glib2";
import * as Gdk from "gdk4";
import * as Pango from "pango1";
import * as Gsk from "gsk4";

This doesn't work because unless you add the following to tsconfig.json

    "paths": {
      "*": ["*", "gi-types/*"]
    },

However, this means that the typechecker will think all the types in gi-types are "global" types, hence you get completions from all types in the gi-types folder.

[vixalien]

With the recent commits, the first issue #1 is fixed.

[sonnyp]

So about the types - I think they should be part of Workbench, not of the project.

The reason for that is that they are "tied" to the environment Workbench provides.
Can you look into passing a custom path for the types to typescript-language-server and pointing to the directory in /usr/share ?

In a way that we don't need setupTypeScriptProject anymore.

For Rust and the cargo file it's a bit different - I don't 100% remember why we did it this way but I recall there were good reasons

Ideally in the future, types will be part of org.gnome.Sdk and we won't need a copy in Workbench anymore.

[vixalien]

The reason for that is that they are "tied" to the environment Workbench provides.
Can you look into passing a custom path for the types to typescript-language-server and pointing to the directory in /usr/share ?

I think the correct way is to change the tsconfig.json dynamically to point to the installed g-types.

[sonnyp]

Note from our discussion: tsconfig can remain part of the project for now if that's easier and we can revisit that later

[vixalien]

CI seems to be failing because of the Freedesktop SDK 24.08beta situation