From f57b8831d43c056c6dd110b776a39238a1f6e1d3 Mon Sep 17 00:00:00 2001
From: Daniel Siepmann <coding@daniel-siepmann.de>
Date: Wed, 7 Feb 2024 19:11:33 +0100
Subject: [PATCH] Migrate and merge user ts config

---
 Configuration/user.tsconfig | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Configuration/user.tsconfig b/Configuration/user.tsconfig
index 6d9bcf9..9a0b860 100644
--- a/Configuration/user.tsconfig
+++ b/Configuration/user.tsconfig
@@ -1,5 +1,7 @@
 options {
     pageTree {
+        showPageIdWithTitle = 1
+        searchInAlias = 1
         backgroundColor {
             2 = rgb(156, 217, 240);
             39 = rgb(224, 150, 144);