docrev 0.9.11 → 0.9.14

package/lib/undo.ts

@@ -1,250 +1,250 @@
-/**
- * In-session undo stack for comment/annotation operations
- *
- * Provides undo/redo functionality during interactive sessions
- */
-
-interface StackEntry {
-  state: string | object;
-  description: string;
-  timestamp: number;
-}
-
-interface HistoryEntry {
-  description: string;
-  current: boolean;
-  index: number;
-}
-
-export interface StackInfo {
-  position: number;
-  size: number;
-  undoSteps: number;
-  redoSteps: number;
-}
-
-interface UndoStack {
-  push(state: string | object, description?: string): void;
-  undo(): StackEntry | null;
-  redo(): StackEntry | null;
-  current(): StackEntry | null;
-  canUndo(): boolean;
-  canRedo(): boolean;
-  info(): StackInfo;
-  history(limit?: number): HistoryEntry[];
-  getStack(): StackEntry[];
-}
-
-export interface DocumentChange {
-  text: string;
-  description: string;
-}
-
-export interface DocumentSession {
-  getText(): string;
-  applyChange(newText: string, description: string): void;
-  undo(): DocumentChange | null;
-  redo(): DocumentChange | null;
-  canUndo(): boolean;
-  canRedo(): boolean;
-  info(): StackInfo;
-  history(limit?: number): HistoryEntry[];
-}
-
-/**
- * Create an undo stack
- */
-export function createUndoStack(maxSize: number = 50): UndoStack {
-  const stack: StackEntry[] = [];
-  let position = -1;
-
-  return {
-    /**
-     * Push a new state onto the stack
-     */
-    push(state: string | object, description: string = ''): void {
-      // Remove any states after current position (for redo)
-      if (position < stack.length - 1) {
-        stack.splice(position + 1);
-      }
-
-      // Add new state
-      stack.push({
-        state: typeof state === 'string' ? state : JSON.parse(JSON.stringify(state)),
-        description,
-        timestamp: Date.now(),
-      });
-
-      // Enforce max size
-      while (stack.length > maxSize) {
-        stack.shift();
-      }
-
-      position = stack.length - 1;
-    },
-
-    /**
-     * Undo to previous state
-     */
-    undo(): StackEntry | null {
-      if (position <= 0) {
-        return null;
-      }
-
-      position--;
-      return stack[position] || null;
-    },
-
-    /**
-     * Redo to next state
-     */
-    redo(): StackEntry | null {
-      if (position >= stack.length - 1) {
-        return null;
-      }
-
-      position++;
-      return stack[position] || null;
-    },
-
-    /**
-     * Get current state
-     */
-    current(): StackEntry | null {
-      if (position < 0 || position >= stack.length) {
-        return null;
-      }
-      return stack[position] || null;
-    },
-
-    /**
-     * Check if undo is available
-     */
-    canUndo(): boolean {
-      return position > 0;
-    },
-
-    /**
-     * Check if redo is available
-     */
-    canRedo(): boolean {
-      return position < stack.length - 1;
-    },
-
-    /**
-     * Get stack info
-     */
-    info(): StackInfo {
-      return {
-        position,
-        size: stack.length,
-        undoSteps: position,
-        redoSteps: stack.length - position - 1,
-      };
-    },
-
-    /**
-     * Get history of changes
-     */
-    history(limit: number = 10): HistoryEntry[] {
-      const start = Math.max(0, position - Math.floor(limit / 2));
-      const end = Math.min(stack.length, start + limit);
-
-      return stack.slice(start, end).map((item, i) => ({
-        description: item.description,
-        current: start + i === position,
-        index: start + i,
-      }));
-    },
-
-    /**
-     * Get the full stack (for debugging)
-     */
-    getStack(): StackEntry[] {
-      return [...stack];
-    },
-  };
-}
-
-/**
- * Create a document session with undo support
- */
-export function createDocumentSession(initialText: string): DocumentSession {
-  const undoStack = createUndoStack();
-
-  // Save initial state
-  undoStack.push(initialText, 'Initial state');
-
-  return {
-    /**
-     * Get current text
-     */
-    getText(): string {
-      const current = undoStack.current();
-      return current ? current.state as string : initialText;
-    },
-
-    /**
-     * Apply a change
-     */
-    applyChange(newText: string, description: string): void {
-      undoStack.push(newText, description);
-    },
-
-    /**
-     * Undo last change
-     */
-    undo(): DocumentChange | null {
-      const result = undoStack.undo();
-      if (result) {
-        return {
-          text: result.state as string,
-          description: result.description,
-        };
-      }
-      return null;
-    },
-
-    /**
-     * Redo last undone change
-     */
-    redo(): DocumentChange | null {
-      const result = undoStack.redo();
-      if (result) {
-        return {
-          text: result.state as string,
-          description: result.description,
-        };
-      }
-      return null;
-    },
-
-    /**
-     * Check if undo is available
-     */
-    canUndo(): boolean {
-      return undoStack.canUndo();
-    },
-
-    /**
-     * Check if redo is available
-     */
-    canRedo(): boolean {
-      return undoStack.canRedo();
-    },
-
-    /**
-     * Get stack info
-     */
-    info(): StackInfo {
-      return undoStack.info();
-    },
-
-    /**
-     * Get change history
-     */
-    history(limit: number = 10): HistoryEntry[] {
-      return undoStack.history(limit);
-    },
-  };
-}
+/**
+ * In-session undo stack for comment/annotation operations
+ *
+ * Provides undo/redo functionality during interactive sessions
+ */
+
+interface StackEntry {
+  state: string | object;
+  description: string;
+  timestamp: number;
+}
+
+interface HistoryEntry {
+  description: string;
+  current: boolean;
+  index: number;
+}
+
+export interface StackInfo {
+  position: number;
+  size: number;
+  undoSteps: number;
+  redoSteps: number;
+}
+
+interface UndoStack {
+  push(state: string | object, description?: string): void;
+  undo(): StackEntry | null;
+  redo(): StackEntry | null;
+  current(): StackEntry | null;
+  canUndo(): boolean;
+  canRedo(): boolean;
+  info(): StackInfo;
+  history(limit?: number): HistoryEntry[];
+  getStack(): StackEntry[];
+}
+
+export interface DocumentChange {
+  text: string;
+  description: string;
+}
+
+export interface DocumentSession {
+  getText(): string;
+  applyChange(newText: string, description: string): void;
+  undo(): DocumentChange | null;
+  redo(): DocumentChange | null;
+  canUndo(): boolean;
+  canRedo(): boolean;
+  info(): StackInfo;
+  history(limit?: number): HistoryEntry[];
+}
+
+/**
+ * Create an undo stack
+ */
+export function createUndoStack(maxSize: number = 50): UndoStack {
+  const stack: StackEntry[] = [];
+  let position = -1;
+
+  return {
+    /**
+     * Push a new state onto the stack
+     */
+    push(state: string | object, description: string = ''): void {
+      // Remove any states after current position (for redo)
+      if (position < stack.length - 1) {
+        stack.splice(position + 1);
+      }
+
+      // Add new state
+      stack.push({
+        state: typeof state === 'string' ? state : JSON.parse(JSON.stringify(state)),
+        description,
+        timestamp: Date.now(),
+      });
+
+      // Enforce max size
+      while (stack.length > maxSize) {
+        stack.shift();
+      }
+
+      position = stack.length - 1;
+    },
+
+    /**
+     * Undo to previous state
+     */
+    undo(): StackEntry | null {
+      if (position <= 0) {
+        return null;
+      }
+
+      position--;
+      return stack[position] || null;
+    },
+
+    /**
+     * Redo to next state
+     */
+    redo(): StackEntry | null {
+      if (position >= stack.length - 1) {
+        return null;
+      }
+
+      position++;
+      return stack[position] || null;
+    },
+
+    /**
+     * Get current state
+     */
+    current(): StackEntry | null {
+      if (position < 0 || position >= stack.length) {
+        return null;
+      }
+      return stack[position] || null;
+    },
+
+    /**
+     * Check if undo is available
+     */
+    canUndo(): boolean {
+      return position > 0;
+    },
+
+    /**
+     * Check if redo is available
+     */
+    canRedo(): boolean {
+      return position < stack.length - 1;
+    },
+
+    /**
+     * Get stack info
+     */
+    info(): StackInfo {
+      return {
+        position,
+        size: stack.length,
+        undoSteps: position,
+        redoSteps: stack.length - position - 1,
+      };
+    },
+
+    /**
+     * Get history of changes
+     */
+    history(limit: number = 10): HistoryEntry[] {
+      const start = Math.max(0, position - Math.floor(limit / 2));
+      const end = Math.min(stack.length, start + limit);
+
+      return stack.slice(start, end).map((item, i) => ({
+        description: item.description,
+        current: start + i === position,
+        index: start + i,
+      }));
+    },
+
+    /**
+     * Get the full stack (for debugging)
+     */
+    getStack(): StackEntry[] {
+      return [...stack];
+    },
+  };
+}
+
+/**
+ * Create a document session with undo support
+ */
+export function createDocumentSession(initialText: string): DocumentSession {
+  const undoStack = createUndoStack();
+
+  // Save initial state
+  undoStack.push(initialText, 'Initial state');
+
+  return {
+    /**
+     * Get current text
+     */
+    getText(): string {
+      const current = undoStack.current();
+      return current ? current.state as string : initialText;
+    },
+
+    /**
+     * Apply a change
+     */
+    applyChange(newText: string, description: string): void {
+      undoStack.push(newText, description);
+    },
+
+    /**
+     * Undo last change
+     */
+    undo(): DocumentChange | null {
+      const result = undoStack.undo();
+      if (result) {
+        return {
+          text: result.state as string,
+          description: result.description,
+        };
+      }
+      return null;
+    },
+
+    /**
+     * Redo last undone change
+     */
+    redo(): DocumentChange | null {
+      const result = undoStack.redo();
+      if (result) {
+        return {
+          text: result.state as string,
+          description: result.description,
+        };
+      }
+      return null;
+    },
+
+    /**
+     * Check if undo is available
+     */
+    canUndo(): boolean {
+      return undoStack.canUndo();
+    },
+
+    /**
+     * Check if redo is available
+     */
+    canRedo(): boolean {
+      return undoStack.canRedo();
+    },
+
+    /**
+     * Get stack info
+     */
+    info(): StackInfo {
+      return undoStack.info();
+    },
+
+    /**
+     * Get change history
+     */
+    history(limit: number = 10): HistoryEntry[] {
+      return undoStack.history(limit);
+    },
+  };
+}

package/lib/utils.ts

@@ -1,69 +1,69 @@
-/**
- * Shared utility functions
- */
-
-/**
- * Count words in text (excluding markdown syntax)
- * @param text - Markdown text
- * @returns Word count
- */
-export function countWords(text: string): number {
-  return text
-    .replace(/^---[\s\S]*?---/m, '') // Remove YAML frontmatter
-    .replace(/!\[.*?\]\(.*?\)/g, '') // Remove images
-    .replace(/\[([^\]]+)\]\([^)]+\)/g, '$1') // Keep link text
-    .replace(/#+\s*/g, '') // Remove headers
-    .replace(/\*\*|__|[*_`]/g, '') // Remove formatting
-    .replace(/```[\s\S]*?```/g, '') // Remove code blocks
-    .replace(/\{[^}]+\}/g, '') // Remove CriticMarkup and attributes
-    .replace(/@\w+:\w+/g, '') // Remove cross-references
-    .replace(/@\w+/g, '') // Remove citations
-    .replace(/\|[^|]+\|/g, ' ') // Remove table cells
-    .replace(/[-=]{3,}/g, '') // Remove horizontal rules
-    .replace(/\n+/g, ' ') // Newlines to spaces
-    .replace(/\s+/g, ' ') // Collapse multiple spaces
-    .trim()
-    .split(/\s+/)
-    .filter(w => w.length > 0).length;
-}
-
-/**
- * Normalize whitespace in text
- * @param text - Input text
- * @returns Normalized text
- */
-export function normalizeWhitespace(text: string): string {
-  return text
-    .replace(/\r\n/g, '\n')
-    .replace(/\t/g, '    ')
-    .replace(/ +/g, ' ')
-    .trim();
-}
-
-/**
- * Escape XML special characters
- * @param str - Input string
- * @returns XML-safe string
- */
-export function escapeXml(str: string): string {
-  return str
-    .replace(/&/g, '&')
-    .replace(/</g, '&lt;')
-    .replace(/>/g, '&gt;')
-    .replace(/"/g, '&quot;')
-    .replace(/'/g, '&apos;');
-}
-
-/**
- * Escape LaTeX special characters
- * @param text - Text to escape
- * @returns Escaped text
- */
-export function escapeLatex(text: string): string {
-  return text
-    .replace(/\\/g, '\\textbackslash{}')
-    .replace(/([#$%&_{}])/g, '\\$1')
-    .replace(/\^/g, '\\textasciicircum{}')
-    .replace(/~/g, '\\textasciitilde{}')
-    .replace(/\n/g, ' ');
-}
+/**
+ * Shared utility functions
+ */
+
+/**
+ * Count words in text (excluding markdown syntax)
+ * @param text - Markdown text
+ * @returns Word count
+ */
+export function countWords(text: string): number {
+  return text
+    .replace(/^---[\s\S]*?---/m, '') // Remove YAML frontmatter
+    .replace(/!\[.*?\]\(.*?\)/g, '') // Remove images
+    .replace(/\[([^\]]+)\]\([^)]+\)/g, '$1') // Keep link text
+    .replace(/#+\s*/g, '') // Remove headers
+    .replace(/\*\*|__|[*_`]/g, '') // Remove formatting
+    .replace(/```[\s\S]*?```/g, '') // Remove code blocks
+    .replace(/\{[^}]+\}/g, '') // Remove CriticMarkup and attributes
+    .replace(/@\w+:\w+/g, '') // Remove cross-references
+    .replace(/@\w+/g, '') // Remove citations
+    .replace(/\|[^|]+\|/g, ' ') // Remove table cells
+    .replace(/[-=]{3,}/g, '') // Remove horizontal rules
+    .replace(/\n+/g, ' ') // Newlines to spaces
+    .replace(/\s+/g, ' ') // Collapse multiple spaces
+    .trim()
+    .split(/\s+/)
+    .filter(w => w.length > 0).length;
+}
+
+/**
+ * Normalize whitespace in text
+ * @param text - Input text
+ * @returns Normalized text
+ */
+export function normalizeWhitespace(text: string): string {
+  return text
+    .replace(/\r\n/g, '\n')
+    .replace(/\t/g, '    ')
+    .replace(/ +/g, ' ')
+    .trim();
+}
+
+/**
+ * Escape XML special characters
+ * @param str - Input string
+ * @returns XML-safe string
+ */
+export function escapeXml(str: string): string {
+  return str
+    .replace(/&/g, '&amp;')
+    .replace(/</g, '&lt;')
+    .replace(/>/g, '&gt;')
+    .replace(/"/g, '&quot;')
+    .replace(/'/g, '&apos;');
+}
+
+/**
+ * Escape LaTeX special characters
+ * @param text - Text to escape
+ * @returns Escaped text
+ */
+export function escapeLatex(text: string): string {
+  return text
+    .replace(/\\/g, '\\textbackslash{}')
+    .replace(/([#$%&_{}])/g, '\\$1')
+    .replace(/\^/g, '\\textasciicircum{}')
+    .replace(/~/g, '\\textasciitilde{}')
+    .replace(/\n/g, ' ');
+}