Minga.RenderModel.UI.ExtensionPanel.Panel (Minga v0.1.0)

Copy Markdown View Source

One extension-owned panel in the GUI extension panel model.

Summary

Types

content_block()

One normalized semantic content block in an extension panel.

position()

Panel placement in the GUI layout.

size()

Panel size requested by the render model.

t()

Types

content_block()

@type content_block() :: Minga.RenderModel.UI.ExtensionPanel.Content.t()

One normalized semantic content block in an extension panel.

position()

@type position() :: :bottom | :right | :float

Panel placement in the GUI layout.

size()

@type size() :: {:percent, 1..100} | {:lines, pos_integer()}

Panel size requested by the render model.

t()

@type t() :: %Minga.RenderModel.UI.ExtensionPanel.Panel{
  content: [content_block()],
  extension: String.t(),
  panel_id: String.t(),
  position: position(),
  size: size(),
  title: String.t(),
  visible?: boolean()
}