@drghaliasri/butex 3.2.2 → 4.0.1

package/dist/index.d.mts

@@ -626,6 +626,24 @@ declare const ATOMIC_OPERATOR_COMMANDS: {
         readonly title: "أكبر من أو يساوي";
         readonly svg_path: null;
     };
+    readonly coloneqq: {
+        readonly id: "coloneqq";
+        readonly category: "operators1";
+        readonly Tex: "\\coloneqq";
+        readonly mirror: true;
+        readonly Label: "≔";
+        readonly title: "يعرف بأنه يساوي";
+        readonly svg_path: null;
+    };
+    readonly eqqcolon: {
+        readonly id: "eqqcolon";
+        readonly category: "operators1";
+        readonly Tex: "\\eqqcolon";
+        readonly mirror: true;
+        readonly Label: "≕";
+        readonly title: "يساوي بالتعريف";
+        readonly svg_path: null;
+    };
     readonly propto: {
         readonly id: "propto";
         readonly category: "operators2";
@@ -789,6 +807,60 @@ declare const ATOMIC_OPERATOR_COMMANDS: {
         readonly title: "يكافئ";
         readonly svg_path: null;
     };
+    readonly implies: {
+        readonly id: "implies";
+        readonly category: "operators3";
+        readonly Tex: "\\implies";
+        readonly mirror: true;
+        readonly Label: "⇒";
+        readonly title: "يستلزم";
+        readonly svg_path: null;
+    };
+    readonly impliedby: {
+        readonly id: "impliedby";
+        readonly category: "operators3";
+        readonly Tex: "\\impliedby";
+        readonly mirror: true;
+        readonly Label: "⇐";
+        readonly title: "مستلزم من";
+        readonly svg_path: null;
+    };
+    readonly iff: {
+        readonly id: "iff";
+        readonly category: "operators3";
+        readonly Tex: "\\iff";
+        readonly mirror: false;
+        readonly Label: "⇔";
+        readonly title: "إذا وفقط إذا";
+        readonly svg_path: null;
+    };
+    readonly Longrightarrow: {
+        readonly id: "Longrightarrow";
+        readonly category: "operators3";
+        readonly Tex: "\\Longrightarrow";
+        readonly mirror: true;
+        readonly Label: "⟹";
+        readonly title: "سهم مزدوج طويل إلى اليمين";
+        readonly svg_path: null;
+    };
+    readonly Longleftarrow: {
+        readonly id: "Longleftarrow";
+        readonly category: "operators3";
+        readonly Tex: "\\Longleftarrow";
+        readonly mirror: true;
+        readonly Label: "⟸";
+        readonly title: "سهم مزدوج طويل إلى اليسار";
+        readonly svg_path: null;
+    };
+    readonly to: {
+        readonly id: "to";
+        readonly category: "operators3";
+        readonly Tex: "\\to";
+        readonly mirror: true;
+        readonly Label: "→";
+        readonly title: "يؤول إلى";
+        readonly svg_path: null;
+    };
     readonly rightleftharpoons: {
         readonly id: "rightleftharpoons";
         readonly category: "operators3";
@@ -1072,6 +1144,8 @@ declare function findNodeById(root: EditorChain, nodeId: string): LocatedNode |
 declare function activeTreeKey(side: EditorSide): 'englishTree' | 'arabicTree';
 declare function passiveTreeKey(side: EditorSide): 'englishTree' | 'arabicTree';
 
+type ButexUiLocale = 'ar' | 'en';
+
 /** Keep highlighted node aligned with caret (keyboard + programmatic caret moves). */
 declare function syncSelectionToCaret(session: EditorSession): void;
 declare function switchSide(session: EditorSession): EditorSession;
@@ -1114,9 +1188,9 @@ declare function deleteBackward(session: EditorSession): EditorSession;
 declare function deleteForward(session: EditorSession): EditorSession;
 declare function setExpr(session: EditorSession, nodeId: string, expr: string): EditorSession;
 declare function createStarterSession(): EditorSession;
-declare function syncStateSummary(session: EditorSession): string;
+declare function syncStateSummary(session: EditorSession, uiLocale?: ButexUiLocale): string;
 declare function setRenderError(session: EditorSession, message: string | null): EditorSession;
-declare function activeSideLabel(side: EditorSide): string;
+declare function activeSideLabel(side: EditorSide, uiLocale?: ButexUiLocale): string;
 /** Read-only: build a fragment from the active selection (or null when collapsed). */
 declare function copySelection(session: EditorSession): EditorFragment | null;
 /** Cut: removes the selection and returns both the cleaned session and the fragment. */
@@ -1153,7 +1227,7 @@ declare const ATOMIC_COMMAND_CSS: string;
 declare const ATOMIC_OPERATOR_COMMAND_CSS: string;
 
 type BuildChain = (chain: EditorChain) => HTMLElement;
-declare function buildNodeBody(node: EditorNode, buildChain: BuildChain, side: EditorSide, digitForm?: DigitFormId): HTMLElement;
+declare function buildNodeBody(node: EditorNode, buildChain: BuildChain, side: EditorSide, digitForm?: DigitFormId, uiLocale?: ButexUiLocale): HTMLElement;
 
 declare function formatDigits(value: string, digitForm?: DigitFormId): string;
 
@@ -1169,6 +1243,8 @@ type RuntimeButtonElements = {
 type EditorRuntimeOptions = {
     surfaceEl: HTMLElement;
     initialSession?: EditorSession;
+    defaultSide?: EditorSide;
+    uiLocale?: ButexUiLocale;
     buttonElements?: RuntimeButtonElements;
     outsidePointerIgnoreSelectors?: string[];
     onSessionChange?: (session: EditorSession) => void;
@@ -1178,6 +1254,7 @@ type EditorRuntimeApi = {
     destroy: () => void;
     getSession: () => EditorSession;
     setSession: (next: EditorSession) => void;
+    setUiLocale: (locale: ButexUiLocale) => void;
     performUndo: () => void;
     performRedo: () => void;
     performCopy: () => Promise<void>;
@@ -1210,7 +1287,7 @@ type EditorRuntimeApi = {
     deleteStructure: () => void;
 };
 declare function createEditorRuntime(options: EditorRuntimeOptions): EditorRuntimeApi;
-declare function runtimeStatusText(session: EditorSession): {
+declare function runtimeStatusText(session: EditorSession, uiLocale?: ButexUiLocale): {
     activeSide: string;
     sync: string;
 };

package/dist/index.d.ts

@@ -626,6 +626,24 @@ declare const ATOMIC_OPERATOR_COMMANDS: {
         readonly title: "أكبر من أو يساوي";
         readonly svg_path: null;
     };
+    readonly coloneqq: {
+        readonly id: "coloneqq";
+        readonly category: "operators1";
+        readonly Tex: "\\coloneqq";
+        readonly mirror: true;
+        readonly Label: "≔";
+        readonly title: "يعرف بأنه يساوي";
+        readonly svg_path: null;
+    };
+    readonly eqqcolon: {
+        readonly id: "eqqcolon";
+        readonly category: "operators1";
+        readonly Tex: "\\eqqcolon";
+        readonly mirror: true;
+        readonly Label: "≕";
+        readonly title: "يساوي بالتعريف";
+        readonly svg_path: null;
+    };
     readonly propto: {
         readonly id: "propto";
         readonly category: "operators2";
@@ -789,6 +807,60 @@ declare const ATOMIC_OPERATOR_COMMANDS: {
         readonly title: "يكافئ";
         readonly svg_path: null;
     };
+    readonly implies: {
+        readonly id: "implies";
+        readonly category: "operators3";
+        readonly Tex: "\\implies";
+        readonly mirror: true;
+        readonly Label: "⇒";
+        readonly title: "يستلزم";
+        readonly svg_path: null;
+    };
+    readonly impliedby: {
+        readonly id: "impliedby";
+        readonly category: "operators3";
+        readonly Tex: "\\impliedby";
+        readonly mirror: true;
+        readonly Label: "⇐";
+        readonly title: "مستلزم من";
+        readonly svg_path: null;
+    };
+    readonly iff: {
+        readonly id: "iff";
+        readonly category: "operators3";
+        readonly Tex: "\\iff";
+        readonly mirror: false;
+        readonly Label: "⇔";
+        readonly title: "إذا وفقط إذا";
+        readonly svg_path: null;
+    };
+    readonly Longrightarrow: {
+        readonly id: "Longrightarrow";
+        readonly category: "operators3";
+        readonly Tex: "\\Longrightarrow";
+        readonly mirror: true;
+        readonly Label: "⟹";
+        readonly title: "سهم مزدوج طويل إلى اليمين";
+        readonly svg_path: null;
+    };
+    readonly Longleftarrow: {
+        readonly id: "Longleftarrow";
+        readonly category: "operators3";
+        readonly Tex: "\\Longleftarrow";
+        readonly mirror: true;
+        readonly Label: "⟸";
+        readonly title: "سهم مزدوج طويل إلى اليسار";
+        readonly svg_path: null;
+    };
+    readonly to: {
+        readonly id: "to";
+        readonly category: "operators3";
+        readonly Tex: "\\to";
+        readonly mirror: true;
+        readonly Label: "→";
+        readonly title: "يؤول إلى";
+        readonly svg_path: null;
+    };
     readonly rightleftharpoons: {
         readonly id: "rightleftharpoons";
         readonly category: "operators3";
@@ -1072,6 +1144,8 @@ declare function findNodeById(root: EditorChain, nodeId: string): LocatedNode |
 declare function activeTreeKey(side: EditorSide): 'englishTree' | 'arabicTree';
 declare function passiveTreeKey(side: EditorSide): 'englishTree' | 'arabicTree';
 
+type ButexUiLocale = 'ar' | 'en';
+
 /** Keep highlighted node aligned with caret (keyboard + programmatic caret moves). */
 declare function syncSelectionToCaret(session: EditorSession): void;
 declare function switchSide(session: EditorSession): EditorSession;
@@ -1114,9 +1188,9 @@ declare function deleteBackward(session: EditorSession): EditorSession;
 declare function deleteForward(session: EditorSession): EditorSession;
 declare function setExpr(session: EditorSession, nodeId: string, expr: string): EditorSession;
 declare function createStarterSession(): EditorSession;
-declare function syncStateSummary(session: EditorSession): string;
+declare function syncStateSummary(session: EditorSession, uiLocale?: ButexUiLocale): string;
 declare function setRenderError(session: EditorSession, message: string | null): EditorSession;
-declare function activeSideLabel(side: EditorSide): string;
+declare function activeSideLabel(side: EditorSide, uiLocale?: ButexUiLocale): string;
 /** Read-only: build a fragment from the active selection (or null when collapsed). */
 declare function copySelection(session: EditorSession): EditorFragment | null;
 /** Cut: removes the selection and returns both the cleaned session and the fragment. */
@@ -1153,7 +1227,7 @@ declare const ATOMIC_COMMAND_CSS: string;
 declare const ATOMIC_OPERATOR_COMMAND_CSS: string;
 
 type BuildChain = (chain: EditorChain) => HTMLElement;
-declare function buildNodeBody(node: EditorNode, buildChain: BuildChain, side: EditorSide, digitForm?: DigitFormId): HTMLElement;
+declare function buildNodeBody(node: EditorNode, buildChain: BuildChain, side: EditorSide, digitForm?: DigitFormId, uiLocale?: ButexUiLocale): HTMLElement;
 
 declare function formatDigits(value: string, digitForm?: DigitFormId): string;
 
@@ -1169,6 +1243,8 @@ type RuntimeButtonElements = {
 type EditorRuntimeOptions = {
     surfaceEl: HTMLElement;
     initialSession?: EditorSession;
+    defaultSide?: EditorSide;
+    uiLocale?: ButexUiLocale;
     buttonElements?: RuntimeButtonElements;
     outsidePointerIgnoreSelectors?: string[];
     onSessionChange?: (session: EditorSession) => void;
@@ -1178,6 +1254,7 @@ type EditorRuntimeApi = {
     destroy: () => void;
     getSession: () => EditorSession;
     setSession: (next: EditorSession) => void;
+    setUiLocale: (locale: ButexUiLocale) => void;
     performUndo: () => void;
     performRedo: () => void;
     performCopy: () => Promise<void>;
@@ -1210,7 +1287,7 @@ type EditorRuntimeApi = {
     deleteStructure: () => void;
 };
 declare function createEditorRuntime(options: EditorRuntimeOptions): EditorRuntimeApi;
-declare function runtimeStatusText(session: EditorSession): {
+declare function runtimeStatusText(session: EditorSession, uiLocale?: ButexUiLocale): {
     activeSide: string;
     sync: string;
 };