jacket
Search the docs
/
API
Tools
Playground
0.31.0
UI module
← UI
Types
Mouse_Button
Modifiers
Input_Kind
Input_Event
Input_State
Node_Kind
Paint_Proc
Node
Node_Events
UI_State
UI_Hooks
Cursor_Kind
Draw_Kind
Draw_Cmd
Draw_List
Container
Text_Options
Button_Variant
Button_Options
Tab_Result
Tab_Options
Split
Split_Options
Text_Edit
Highlight_Span
Highlight_Proc
Text_Mark
Editor_Options
Unit
Key_Result
Headless_Options
Find_Query
Renderer
Instance_Data
Batch
Rendered_Image
App_Options
App_Window
On this page
Fields
See also
std
/
Extensions
/
UI
/
Tab_Options
Tab_Options
struct
since 0.31.0
Source
Options for
tab
.
Fields
dirty
:
bool
unsaved changes: shown as a dot
closable
:
bool
See also
Button_Options
Tab_Result
Split
Split_Options