feat(navigation): count open workspace todos and style tab badges as notification dots

frontend/src/features/workspace/WorkspaceView.tsx

@@ -260,6 +260,7 @@ export const WorkspaceView: React.FC<WorkspaceViewProps> = ({
             }
           : prev
       );
+      onStatsChange();
     } catch (e: any) {
       if (e.message && e.message.includes('423')) {
         api.getDocLock(docToSave.id).then((res) => {
@@ -2162,9 +2163,15 @@ export const WorkspaceView: React.FC<WorkspaceViewProps> = ({
                                   type="checkbox"
                                   disabled={isReadOnly}
                                   checked={!!block.checked}
-                                  onChange={(e) =>
-                                    !isReadOnly && updateBlock(block.id, { checked: e.target.checked })
-                                  }
+                                  onChange={(e) => {
+                                    if (!isReadOnly && selectedDoc) {
+                                      const nextBlocks = selectedDoc.blocks.map((b) =>
+                                        b.id === block.id ? { ...b, checked: e.target.checked } : b
+                                      );
+                                      persistDocument({ ...selectedDoc, blocks: nextBlocks }, true);
+                                      onStatsChange();
+                                    }
+                                  }}
                                   className={`w-4 h-4 checkbox-square flex-shrink-0 ${
                                     isReadOnly ? 'cursor-not-allowed opacity-60' : 'cursor-pointer'
                                   }`}