graphics element renaming

graphics/elements/Div.lua

@@ -0,0 +1,28 @@
+-- Div (Division, like in HTML) Graphics Element
+
+local element = require("graphics.element")
+
+---@class div_args
+---@field parent graphics_element
+---@field id? string element id
+---@field x? integer 1 if omitted
+---@field y? integer auto incremented if omitted
+---@field width? integer parent width if omitted
+---@field height? integer parent height if omitted
+---@field gframe? graphics_frame frame instead of x/y/width/height
+---@field fg_bg? cpair foreground/background colors
+---@field hidden? boolean true to hide on initial draw
+
+-- Create a new div container element.
+---@nodiscard
+---@param args div_args
+---@return Div element, element_id id
+return function (args)
+    -- create new graphics element base object
+    local e = element.new(args --[[@as graphics_args]])
+
+    ---@class Div:graphics_element
+    local Div, id = e.complete()
+
+    return Div, id
+end