Function zlozMinimap

Parameters

• h: HtmlBuilder<M>
• context: ZlozMinimapContext
• onEvent: (event: EditorEvent) => M
• attributes: readonly (
      | Readonly<
          {
              __childAttribute: true;
              attribute: unknown;
              dispatch: DispatchSync;
              resolveUnmount: (message: unknown) => () => void;
              boundaryMappers: readonly ((message: unknown) => unknown)[];
              resolveMountDispatch?: Readonly<
                  { owner: MountRenderOwner; resolve: () => DispatchSync },
              >;
          },
      >
      | { _tag: "Alt"; value: string }
      | { _tag: "Key"; value: string }
      | { _tag: "Class"; value: string }
      | { _tag: "Id"; value: string }
      | { _tag: "Title"; value: string }
      | { _tag: "Lang"; value: string }
      | { _tag: "Dir"; value: string }
      | { _tag: "Tabindex"; value: number }
      | { _tag: "Hidden"; value: boolean }
      | { _tag: "Contenteditable"; value: string }
      | { _tag: "Draggable"; value: boolean }
      | { _tag: "Accesskey"; value: string }
      | { _tag: "Translate"; value: string }
      | { _tag: "Inert"; value: boolean }
      | { _tag: "Popover"; value: string }
      | { _tag: "Popovertarget"; value: string }
      | { _tag: "Popovertargetaction"; value: string }
      | {
          _tag: "OnClick";
          message: M;
          options?: {
              defaultAction?: "Allow" | "Prevent";
              propagation?: "Bubble" | "Stop";
              focusSelector?: string;
          };
      }
      | { _tag: "OnDoubleClick"; message: M }
      | { _tag: "OnMouseDown"; message: M }
      | { _tag: "OnMouseUp"; message: M }
      | { _tag: "OnMouseEnter"; message: M }
      | { _tag: "OnMouseLeave"; message: M }
      | { _tag: "OnMouseOver"; message: M }
      | { _tag: "OnMouseOut"; message: M }
      | { _tag: "OnMouseMove"; message: M }
      | {
          _tag: "OnPointerMove";
          f: (screenX: number, screenY: number, pointerType: string) => Option<M>;
      }
      | { _tag: "OnPointerLeave"; f: (pointerType: string) => Option<M> }
      | {
          _tag: "OnPointerDown";
          f: (
              pointerType: string,
              button: number,
              screenX: number,
              screenY: number,
              timeStamp: number,
              clientX: number,
              clientY: number,
              pointerId: number,
              target: EventTarget | null,
          ) => Option<M>;
      }
      | {
          _tag: "OnPointerUp";
          f: (
              screenX: number,
              screenY: number,
              pointerType: string,
              timeStamp: number,
          ) => Option<M>;
      }
      | {
          _tag: "OnKeyDown";
          f: (key: string, modifiers: KeyboardModifiers) => M;
      }
      | {
          _tag: "OnKeyDownPreventDefault";
          f: (key: string, modifiers: KeyboardModifiers) => Option<M>;
      }
      | {
          _tag: "OnKeyDownSelf";
          f: (key: string, modifiers: KeyboardModifiers) => M;
      }
      | {
          _tag: "OnKeyDownSelfPreventDefault";
          f: (key: string, modifiers: KeyboardModifiers) => Option<M>;
      }
      | {
          _tag: "OnKeyDownFocus";
          f: (
              key: string,
              modifiers: KeyboardModifiers,
          ) => Option<Readonly<{ focusSelector: string; message: M }>>;
      }
      | { _tag: "OnKeyUp"; f: (key: string, modifiers: KeyboardModifiers) => M }
      | {
          _tag: "OnKeyUpPreventDefault";
          f: (key: string, modifiers: KeyboardModifiers) => Option<M>;
      }
      | {
          _tag: "OnKeyPress";
          f: (key: string, modifiers: KeyboardModifiers) => M;
      }
      | { _tag: "OnFocus"; message: M }
      | { _tag: "OnBlur"; message: M }
      | { _tag: "OnFocusEnter"; message: M }
      | { _tag: "OnFocusLeave"; message: M }
      | { _tag: "OnInput"; f: (value: string) => M }
      | { _tag: "OnChange"; f: (value: string) => M }
      | {
          _tag: "OnBeforeInput";
          f: (inputType: string, data: Option<string>) => M;
      }
      | {
          _tag: "OnBeforeInputPreventDefault";
          f: (inputType: string, data: Option<string>) => Option<M>;
      }
      | { _tag: "OnFileChange"; f: (files: readonly File[]) => M }
      | { _tag: "OnSubmit"; message: M }
      | { _tag: "OnReset"; message: M }
      | { _tag: "OnScroll"; f: (scrollTop: number) => M }
      | { _tag: "OnWheel"; message: M }
      | { _tag: "OnCopy"; message: M }
      | { _tag: "OnCut"; message: M }
      | { _tag: "OnPaste"; message: M }
      | { _tag: "OnPastePreventDefault"; f: (text: string) => Option<M> }
      | { _tag: "OnCopyText"; text: string }
      | { _tag: "OnCutText"; text: string; message: M }
      | { _tag: "OnCancel"; message: M }
      | { _tag: "OnCancelPreventDefault"; maybeCustomEventMessage: Option<M> }
      | { _tag: "OnToggle"; f: (isOpen: boolean) => M }
      | { _tag: "OnContextMenu"; message: M }
      | { _tag: "OnDragStart"; message: M }
      | { _tag: "OnDrag"; message: M }
      | { _tag: "OnDragEnd"; message: M }
      | { _tag: "OnDragEnter"; message: M }
      | { _tag: "OnDragLeave"; message: M }
      | { _tag: "OnDragOver"; message: M }
      | { _tag: "AllowDrop" }
      | { _tag: "OnDrop"; message: M }
      | { _tag: "OnDropFiles"; f: (files: readonly File[]) => M }
      | { _tag: "OnTouchStart"; message: M }
      | { _tag: "OnTouchEnd"; message: M }
      | { _tag: "OnTouchMove"; message: M }
      | { _tag: "OnTouchCancel"; message: M }
      | { _tag: "OnAnimationStart"; message: M }
      | { _tag: "OnAnimationEnd"; message: M }
      | { _tag: "OnAnimationIteration"; message: M }
      | { _tag: "OnTransitionEnd"; message: M }
      | { _tag: "OnLoad"; message: M }
      | { _tag: "OnError"; message: M }
      | { _tag: "OnPlay"; message: M }
      | { _tag: "OnPause"; message: M }
      | { _tag: "OnEnded"; message: M }
      | { _tag: "OnTimeUpdate"; message: M }
      | { _tag: "OnVolumeChange"; message: M }
      | { _tag: "OnSelect"; message: M }
      | { _tag: "Value"; value: string }
      | { _tag: "Checked"; value: boolean }
      | { _tag: "Selected"; value: boolean }
      | { _tag: "Open"; value: boolean }
      | { _tag: "Placeholder"; value: string }
      | { _tag: "Name"; value: string }
      | { _tag: "Disabled"; value: boolean }
      | { _tag: "Readonly"; value: boolean }
      | { _tag: "Required"; value: boolean }
      | { _tag: "Autofocus"; value: boolean }
      | { _tag: "Spellcheck"; value: boolean }
      | { _tag: "Autocorrect"; value: string }
      | { _tag: "Autocapitalize"; value: string }
      | { _tag: "InputMode"; value: string }
      | { _tag: "EnterKeyHint"; value: string }
      | { _tag: "Multiple"; value: boolean }
      | { _tag: "Type"; value: string }
      | { _tag: "Accept"; value: string }
      | { _tag: "Autocomplete"; value: string }
      | { _tag: "Pattern"; value: string }
      | { _tag: "Maxlength"; value: number }
      | { _tag: "Minlength"; value: number }
      | { _tag: "Size"; value: number }
      | { _tag: "Cols"; value: number }
      | { _tag: "Rows"; value: number }
      | { _tag: "Max"; value: string }
      | { _tag: "Min"; value: string }
      | { _tag: "Step"; value: string }
      | { _tag: "For"; value: string }
      | { _tag: "Href"; value: string }
      | { _tag: "Src"; value: string }
      | { _tag: "Target"; value: string }
      | { _tag: "Rel"; value: string }
      | { _tag: "Download"; value: string }
      | { _tag: "Action"; value: string }
      | { _tag: "Method"; value: string }
      | { _tag: "Enctype"; value: string }
      | { _tag: "Novalidate"; value: boolean }
      | { _tag: "Formaction"; value: string }
      | { _tag: "Formmethod"; value: string }
      | { _tag: "Formnovalidate"; value: boolean }
      | { _tag: "Formtarget"; value: string }
      | { _tag: "Formenctype"; value: string }
      | { _tag: "Colspan"; value: number }
      | { _tag: "Rowspan"; value: number }
      | { _tag: "Scope"; value: string }
      | { _tag: "Headers"; value: string }
      | { _tag: "Span"; value: number }
      | { _tag: "Start"; value: number }
      | { _tag: "Reversed"; value: boolean }
      | { _tag: "CiteAttr"; value: string }
      | { _tag: "Datetime"; value: string }
      | { _tag: "Wrap"; value: string }
      | { _tag: "List"; value: string }
      | { _tag: "FormAttr"; value: string }
      | { _tag: "LabelAttr"; value: string }
      | { _tag: "ContentAttr"; value: string }
      | { _tag: "Charset"; value: string }
      | { _tag: "HttpEquiv"; value: string }
      | { _tag: "Srcset"; value: string }
      | { _tag: "Sizes"; value: string }
      | { _tag: "Loading"; value: string }
      | { _tag: "Decoding"; value: string }
      | { _tag: "Fetchpriority"; value: string }
      | { _tag: "Crossorigin"; value: string }
      | { _tag: "Referrerpolicy"; value: string }
      | { _tag: "Integrity"; value: string }
      | { _tag: "Hreflang"; value: string }
      | { _tag: "Ping"; value: string }
      | { _tag: "Sandbox"; value: string }
      | { _tag: "Allow"; value: string }
      | { _tag: "Srcdoc"; value: string }
      | { _tag: "Autoplay"; value: boolean }
      | { _tag: "Controls"; value: boolean }
      | { _tag: "Loop"; value: boolean }
      | { _tag: "Muted"; value: boolean }
      | { _tag: "Poster"; value: string }
      | { _tag: "Preload"; value: string }
      | { _tag: "Playsinline"; value: boolean }
      | { _tag: "High"; value: number }
      | { _tag: "Low"; value: number }
      | { _tag: "Optimum"; value: number }
      | { _tag: "Usemap"; value: string }
      | { _tag: "Ismap"; value: boolean }
      | { _tag: "Role"; value: string }
      | { _tag: "AriaLabel"; value: string }
      | { _tag: "AriaLabelledBy"; value: string }
      | { _tag: "AriaDescribedBy"; value: string }
      | { _tag: "AriaHidden"; value: boolean }
      | { _tag: "AriaExpanded"; value: boolean }
      | { _tag: "AriaSelected"; value: boolean }
      | { _tag: "AriaChecked"; value: boolean | "mixed" }
      | { _tag: "AriaDisabled"; value: boolean }
      | { _tag: "AriaRequired"; value: boolean }
      | { _tag: "AriaInvalid"; value: boolean }
      | { _tag: "AriaLive"; value: string }
      | { _tag: "AriaControls"; value: string }
      | { _tag: "AriaCurrent"; value: string }
      | { _tag: "AriaOrientation"; value: string }
      | { _tag: "AriaPressed"; value: string }
      | { _tag: "AriaHasPopup"; value: string }
      | { _tag: "AriaActiveDescendant"; value: string }
      | { _tag: "AriaSort"; value: string }
      | { _tag: "AriaMultiSelectable"; value: boolean }
      | { _tag: "AriaModal"; value: boolean }
      | { _tag: "AriaBusy"; value: boolean }
      | { _tag: "AriaErrorMessage"; value: string }
      | { _tag: "AriaRoleDescription"; value: string }
      | { _tag: "AriaAtomic"; value: boolean }
      | { _tag: "AriaAutocomplete"; value: string }
      | { _tag: "AriaColcount"; value: number }
      | { _tag: "AriaColindex"; value: number }
      | { _tag: "AriaColspan"; value: number }
      | { _tag: "AriaDescription"; value: string }
      | { _tag: "AriaDetails"; value: string }
      | { _tag: "AriaFlowto"; value: string }
      | { _tag: "AriaKeyshortcuts"; value: string }
      | { _tag: "AriaLevel"; value: number }
      | { _tag: "AriaOwns"; value: string }
      | { _tag: "AriaPlaceholder"; value: string }
      | { _tag: "AriaPosinset"; value: number }
      | { _tag: "AriaReadonly"; value: boolean }
      | { _tag: "AriaRelevant"; value: string }
      | { _tag: "AriaRowcount"; value: number }
      | { _tag: "AriaRowindex"; value: number }
      | { _tag: "AriaRowspan"; value: number }
      | { _tag: "AriaSetsize"; value: number }
      | { _tag: "AriaValuemax"; value: number }
      | { _tag: "AriaValuemin"; value: number }
      | { _tag: "AriaValuenow"; value: number }
      | { _tag: "AriaValuetext"; value: string }
      | { _tag: "Attribute"; key: string; value: string }
      | { _tag: "DataAttribute"; key: string; value: string }
      | { _tag: "Style"; value: Record<string, string> }
      | { _tag: "InnerHTML"; value: string }
      | { _tag: "ViewBox"; value: string }
      | { _tag: "Xmlns"; value: string }
      | { _tag: "Fill"; value: string }
      | { _tag: "FillRule"; value: string }
      | { _tag: "ClipRule"; value: string }
      | { _tag: "Stroke"; value: string }
      | { _tag: "StrokeWidth"; value: string }
      | { _tag: "StrokeLinecap"; value: string }
      | { _tag: "StrokeLinejoin"; value: string }
      | { _tag: "D"; value: string }
      | { _tag: "Cx"; value: string }
      | { _tag: "Cy"; value: string }
      | { _tag: "R"; value: string }
      | { _tag: "X"; value: string }
      | { _tag: "Y"; value: string }
      | { _tag: "Width"; value: string }
      | { _tag: "Height"; value: string }
      | { _tag: "X1"; value: string }
      | { _tag: "Y1"; value: string }
      | { _tag: "X2"; value: string }
      | { _tag: "Y2"; value: string }
      | { _tag: "Points"; value: string }
      | { _tag: "Transform"; value: string }
      | { _tag: "Opacity"; value: string }
      | { _tag: "StrokeDasharray"; value: string }
      | { _tag: "StrokeDashoffset"; value: string }
      | { _tag: "Dx"; value: string }
      | { _tag: "Dy"; value: string }
      | { _tag: "Rotate"; value: string }
      | { _tag: "TextAnchor"; value: string }
      | { _tag: "DominantBaseline"; value: string }
      | { _tag: "AlignmentBaseline"; value: string }
      | { _tag: "BaselineShift"; value: string }
      | { _tag: "TextLength"; value: string }
      | { _tag: "LengthAdjust"; value: string }
      | { _tag: "FontFamily"; value: string }
      | { _tag: "FontSize"; value: string }
      | { _tag: "FontWeight"; value: string }
      | { _tag: "FontStyle"; value: string }
      | { _tag: "LetterSpacing"; value: string }
      | { _tag: "WordSpacing"; value: string }
      | { _tag: "TextDecoration"; value: string }
      | { _tag: "WritingMode"; value: string }
      | { _tag: "Rx"; value: string }
      | { _tag: "Ry"; value: string }
      | { _tag: "PathLength"; value: string }
      | { _tag: "FillOpacity"; value: string }
      | { _tag: "StrokeOpacity"; value: string }
      | { _tag: "StrokeMiterlimit"; value: string }
      | { _tag: "PaintOrder"; value: string }
      | { _tag: "VectorEffect"; value: string }
      | { _tag: "Color"; value: string }
      | { _tag: "Visibility"; value: string }
      | { _tag: "Display"; value: string }
      | { _tag: "Overflow"; value: string }
      | { _tag: "PointerEvents"; value: string }
      | { _tag: "Cursor"; value: string }
      | { _tag: "ShapeRendering"; value: string }
      | { _tag: "TextRendering"; value: string }
      | { _tag: "ImageRendering"; value: string }
      | { _tag: "ClipPath"; value: string }
      | { _tag: "Mask"; value: string }
      | { _tag: "Filter"; value: string }
      | { _tag: "ClipPathUnits"; value: string }
      | { _tag: "MaskUnits"; value: string }
      | { _tag: "MaskContentUnits"; value: string }
      | { _tag: "FilterUnits"; value: string }
      | { _tag: "PrimitiveUnits"; value: string }
      | { _tag: "Offset"; value: string }
      | { _tag: "StopColor"; value: string }
      | { _tag: "StopOpacity"; value: string }
      | { _tag: "GradientUnits"; value: string }
      | { _tag: "GradientTransform"; value: string }
      | { _tag: "SpreadMethod"; value: string }
      | { _tag: "Fx"; value: string }
      | { _tag: "Fy"; value: string }
      | { _tag: "Fr"; value: string }
      | { _tag: "PatternUnits"; value: string }
      | { _tag: "PatternContentUnits"; value: string }
      | { _tag: "PatternTransform"; value: string }
      | { _tag: "MarkerStart"; value: string }
      | { _tag: "MarkerMid"; value: string }
      | { _tag: "MarkerEnd"; value: string }
      | { _tag: "MarkerWidth"; value: string }
      | { _tag: "MarkerHeight"; value: string }
      | { _tag: "MarkerUnits"; value: string }
      | { _tag: "RefX"; value: string }
      | { _tag: "RefY"; value: string }
      | { _tag: "Orient"; value: string }
      | { _tag: "PreserveAspectRatio"; value: string }
      | { _tag: "Prop"; key: string; value: unknown }
      | {
          _tag: "OnCustomEvent";
          name: string;
          f: (event: CustomEvent<unknown>) => Option<M>;
      }
      | { _tag: "OnMount"; action: MountAction<Message, any> }
      | { _tag: "OnUnmount"; message: M }
  )[]
• children: readonly Child[] | undefined