Update web/core/models_user.py

2025-08-23 15:04:11 +00:00
parent eaf53f1aaa
commit e71ebd74bc
1 changed files with 1 additions and 0 deletions
@@ -18,6 +18,7 @@ class UserPrefs(models.Model):
        ],
        default="default",
    )
+    highlight_search_hits = models.BooleanField(default=True)

    def __str__(self):
        return f"UserPrefs({self.user_id}, font={self.font_size})"