Persistent line number preference

Author: stever

apps/web/src/components/PublicProfiles.jsx

@@ -209,6 +209,7 @@ export default function PublicProfiles() {
                   label: t(o.labelKey),
                 }))}
                 style={{ width: "16rem" }}
+                scrollHeight="20rem"
                 onChange={(e) => {
                   setSort(e.value);
                   setPage(0);

apps/web/src/redux/app/reducers.js

@@ -4,10 +4,23 @@ import {actionTypes} from "./actions";
 // Initial state
 // -----------------------------------------------------------------------------
 
+// Load the persisted line numbers preference if available
+const loadLineNumbers = () => {
+    try {
+        const saved = localStorage.getItem('lineNumbers');
+        if (saved !== null) {
+            return saved === 'true';
+        }
+    } catch (e) {
+        console.error('Failed to load line numbers preference:', e);
+    }
+    return false;
+};
+
 const initialState = {
     privacyPolicy: undefined,
     termsOfUse: undefined,
-    lineNumbers: false
+    lineNumbers: loadLineNumbers()
 };
 
 // -----------------------------------------------------------------------------
@@ -29,6 +42,11 @@ function receiveTermsOfUse(state, action) {
 }
 
 function toggleLineNumbers(state, action) {
+    try {
+        localStorage.setItem('lineNumbers', String(action.enabled));
+    } catch (e) {
+        console.error('Failed to save line numbers preference:', e);
+    }
     return {
         ...state,
         lineNumbers: action.enabled