allow to configure xterm.js options through the xterm property

README.md

@@ -102,6 +102,9 @@ custom path.
   "$schema": "https://github.com/pomdtr/tweety/releases/latest/download/config.schema.json",
   "theme": "Tomorrow",
   "themeDark": "Tomorrow Night",
+  "xterm": {
+    "fontSize": 14,
+  },
   "env": {
     "EDITOR": "kak"
   },
@@ -123,6 +126,8 @@ custom path.
 }
 ```
 
+The `xterm` section is passed directly to xterm.js, see the [documentation](https://xtermjs.org/docs/api/terminal/interfaces/iterminaloptions/).
+
 ## Endpoints
 
 - `/` - open the default profile

config.go

@@ -16,6 +16,7 @@ import (
 type Config struct {
 	Theme          string             `json:"theme"`
 	ThemeDark      string             `json:"themeDark"`
+	XTerm          map[string]any     `json:"xterm"`
 	Env            map[string]string  `json:"env,omitempty"`
 	DefaultProfile string             `json:"defaultProfile"`
 	Profiles       map[string]Profile `json:"profiles"`

frontend/src/config.ts

@@ -1,14 +1,15 @@
 export type Config = {
-    theme?: string
-    themeDark?: string
-    env: Record<string, string>
-    defaultProfile: string
-    profiles: Record<string, Profile>
-}
+  theme?: string;
+  themeDark?: string;
+  xterm: Record<string, unknown>;
+  env: Record<string, string>;
+  defaultProfile: string;
+  profiles: Record<string, Profile>;
+};
 
 export type Profile = {
-    command: string
-    args?: string[]
-    env?: Record<string, string>
-    favicon?: string
-}
+  command: string;
+  args?: string[];
+  env?: Record<string, string>;
+  favicon?: string;
+};

frontend/src/terminal.ts

@@ -74,6 +74,7 @@ async function main() {
     for (const row of rows) {
       terminal.writeln(row);
     }
+    terminal.scrollToTop();
     return;
   }
 
@@ -93,6 +94,7 @@ async function main() {
     theme: window.matchMedia("(prefers-color-scheme: dark)").matches
       ? darkTheme
       : lightTheme,
+    ...config.xterm,
   });
 
   const fitAddon = new FitAddon();
@@ -197,6 +199,9 @@ async function main() {
   }
 
   websocketUrl.searchParams.set("profile", profileID);
+  if (params.has("input")) {
+    websocketUrl.searchParams.set("input", params.get("input")!);
+  }
   const ws = new WebSocket(websocketUrl);
   ws.onclose = () => {
     if (params.has("reload")) {