2024-07-18 16:07:37 +02:00
|
|
|
//
|
|
|
|
// ButtonContext.swift
|
|
|
|
// TermKitBackend
|
|
|
|
//
|
|
|
|
// Created by david-swift on 18.07.2024.
|
|
|
|
//
|
|
|
|
|
|
|
|
import TermKit
|
|
|
|
|
|
|
|
/// The menu items view context.
|
|
|
|
public enum ButtonContext: ViewRenderData {
|
|
|
|
|
|
|
|
/// The type of the widgets.
|
2024-07-20 09:20:30 +02:00
|
|
|
public typealias WidgetType = ButtonWidget
|
2024-07-18 16:07:37 +02:00
|
|
|
/// The wrapper type.
|
|
|
|
public typealias WrapperType = ButtonCollection
|
2024-08-25 16:42:55 +02:00
|
|
|
/// The either view type.
|
|
|
|
public typealias EitherViewType = NotUpdatableEitherView
|
2024-07-18 16:07:37 +02:00
|
|
|
|
|
|
|
}
|
2024-07-20 09:20:30 +02:00
|
|
|
|
|
|
|
/// The type of the widgets.
|
|
|
|
public protocol ButtonWidget: Meta.Widget { }
|