Site index

Home

• ckVision
  • Start here
  • Concepts
  • Widgets and views
  • Terminal and graphics
  • Integrating and embedding
  • Quality and internals

Start here

• Getting Started with ckVision
  • Build the library and examples
  • Install and consume the package
  • The smallest complete host
  • Choose an example by problem
  • Client model in one minute
• ckVision Hello Tutorial
  • What appears on screen
  • Object hierarchy and ownership
  • Full source: application object
  • Interaction map
  • Test it headlessly
• ckVision Example Applications
  • Start with the pattern you need
  • Layouts
  • Forms
  • Workbench
  • Editor
  • Graphics
  • Spin
  • SysInfo
  • TODO
  • Gallery (examples/gallery)
  • What's verified, and how
  • Screenshots
  • Running it yourself
  • File Browser (examples/filebrowser)
  • What's verified, and how
  • Screenshots
  • Running it yourself
  • WP-36A comprehensive demo suite
  • Layouts (examples/layouts)
  • Forms (examples/forms)
  • Root Dialog (examples/rootdialog)
  • Echo (examples/echo)
  • Workbench (examples/workbench)
  • Graphics (examples/graphics)
  • Spin (examples/spin)
  • Adding another example
  • Progress Lab (examples/progress)
• ckVision SysInfo Example
  • The platform boundary
  • The panes
  • Measurements, and what makes them honest
  • Two renderings of one data set
  • Reports and contextual help
  • Running it
  • What is verified, and how
• ckVision TODO Example
  • Run it
  • The product tour
  • Tasks and movement
  • Full note editor
  • Lanes and Boards
  • Desktop and themes
  • Keyboard and pointer reference
  • Architecture to reuse
  • Persistence and concurrent instances
  • Verification and generated evidence
  • Deliberate boundaries
• Hello Example Verification Appendix
  • Behavior contract
  • Verification

Concepts

• ckVision Object Model
  • The common construction sequence
  • Modal versus modeless surfaces
  • Paint and data flow
  • Custom focusable views
• ckVision Layout Guide
  • Pick the container from the relationship
  • Width decides height
  • Resizing is part of the design
  • Common choices
• ckVision Themes and Rendering
  • The theme editor
  • Saving and loading a theme
  • Scene composition
  • Clip rects and translation
  • Junction scopes (D-036)
  • Shadows: one binary union (D-037)
  • Raster regions and occlusion slicing
  • Row damage
  • What a colour is, and what an underline looks like
• ckVision Dialogs and Commands
  • Command presentation
  • Descriptor dialog with validation
  • Fields that are not text
  • Describing the focused field
  • Checking the whole answer
  • Standard message boxes and strings
  • Wizard: state-dependent Next
  • Date and time dialogs
  • Focus and close policy
• ckVision Standard Commands, v1
  • Identity is a key; the id is an assigned handle
  • Why a standard set at all
  • The set
  • Chord text follows the keymap
  • Design notes

Widgets and views

• ckVision Widget Gallery
  • DocumentPosition
  • DocumentRange
  • DocumentLineColumn
  • EditorDocumentOptions
  • DocumentSelection
  • DocumentChange
  • DocumentEditResult
  • DocumentTextEdit
  • DocumentTransaction
  • EditorDocument
  • SyntaxSpan
  • SyntaxLineResult
  • LanguageDetectionInput
  • LanguageDetection
  • LanguageProfile
  • SyntaxProfileRegistry
  • SyntaxCacheLine
  • SyntaxRelexReport
  • SyntaxCache
  • EditorSearchQuery
  • EditorSearchMatch
  • EditorSearch
  • EditorStatus
  • EditorKeyBinding
  • VirtualCaret
  • EditRequest
  • HighlightSpan
  • EditorStatusModel
  • TextEditor
  • FileEditorController
  • EditorOpenOptions
  • EditorWindow
  • ApplicationShell
  • ApplicationShellOptions
  • Button
  • Display variants
  • Canvas
  • ComboBox
  • Display variants
  • CommandPresentation
  • CalendarView
  • ClockView
  • BigClockView
  • CalendarDropdown
  • DateValue
  • TimeValue
  • DateTimeValue
  • DateTimeLabels
  • DateFormat
  • DatePicker
  • TimePicker
  • SpinBox
  • Display variants
  • SliderTick
  • Slider
  • Display variants
  • SearchBox
  • Display variants
  • ToolBar
  • CommandPalette
  • BreadcrumbBar
  • Display variants
  • PropertyItem
  • PropertyInspectorMessages
  • PropertyInspector
  • Display variants
  • WizardPage
  • WizardLabels
  • Wizard
  • Display variants
  • Notification
  • NotificationCenter
  • Display variants
  • Tooltip
  • TooltipController
  • Desktop
  • A world larger than the view of it (U7-a)
  • FieldDescriptor
  • ButtonDescriptor
  • DialogDescriptor
  • MaterializedDialog
  • DialogVeto
  • DialogResult
  • DialogFocusRestore
  • PendingDialogs
  • DialogPresentationAccess
  • DirectoryPickerResult
  • FileDialogFilter
  • FileDialogOptions
  • FileDialogResult
  • HelpTopic
  • HelpSpan
  • HelpIndexEntry
  • HelpProvider
  • MemoryHelpProvider
  • ImageView
  • FlowText
  • FlowLineBreak
  • FlowImage
  • FlowBlock
  • FlowDocument
  • FlowView
  • FrameText
  • InputLine
  • Display variants
  • KeyChordCapture
  • Label
  • ListItem
  • ListModel
  • ListView
  • Display variants
  • Memo
  • MnemonicText
  • MenuItem
  • MenuMark
  • MenuItemKind
  • MenuHighlight
  • DropdownMenu
  • MenuBarItem
  • MenuBar
  • MenuBarAccessory
  • MemoPosition
  • MessageBoxDescriptor
  • CheckGroup
  • Display variants
  • PopupList
  • RadioGroup
  • Display variants
  • Progress
  • Display variants
  • ActivityIndicator
  • Display variants
  • ProgressView
  • Display variants
  • ProgressTaskOptions
  • ProgressTask
  • ProgressMetrics
  • ProgressSubscription
  • ProgressModel
  • ProgressColumns
  • ProgressController
  • ProgressMailbox
  • ScrollViewport
  • Scrollbar
  • Splitter
  • Display variants
  • StandardStrings
  • StaticText
  • StatusLineItem
  • StatusLine
  • Display variants
  • TabControl
  • TableCell
  • TableCellRef
  • TableEditResult
  • TableModel
  • TableColumn
  • Table
  • Display variants
  • GridPosition
  • GridRange
  • GridCellStyle
  • GridCell
  • GridFrame
  • CellGridModel
  • MaterializedCellGridModel
  • CellGrid
  • TerminalView
  • Terminal report dialog
  • TerminalReportDialogOptions
  • Date dialog
  • DateDialogOptions
  • DateDialogResult
  • Time dialog
  • TimeDialogOptions
  • TimeDialogResult
  • TextSpan
  • WrapMode
  • WrapOptions
  • WrapSegment
  • ScrollGeometry
  • TextView
  • TreeNode
  • TreeItem
  • TreeModel
  • TreeView
  • FrameSlot
  • Window
  • Showing where a window went — the minimize flight
  • Animation
  • WindowHandle
  • Window list dialog
  • Theme editor dialog
  • ThemeEditorResult
  • PagedStrip
  • WindowSwitcherTarget
  • MinimizedWindowStub
  • WindowSwitcherBar
  • Damped widths
• Advanced progress
  • Interactive Progress Lab
  • Data, ownership and state
  • Rendering and time
  • Worker updates
• ckVision Data Views
  • List providers
  • Tree providers
  • Table providers
  • Cell grid providers
  • Ownership and threading
• ckVision Editor
  • Commands and key bindings
  • Edit requests
  • A caret past the text
  • Host colouring
  • Context menus
  • Positions and edits
  • Profiles and highlighting
  • Search and files
• ckVision Flow View
  • Updating one block
  • Inline raster atoms
• Embedded terminal
  • Launching a contained child
  • Scrolling a full-screen child with the wheel
  • The scrollbar on the window frame
  • Colours a child asks about, and colours it sets
  • The clipboard, and the keyboard protocol
  • What a host is told changed
  • Nested ckVision applications
  • Containment and policies
  • What a picture is, once it is on screen
  • Building and checking
  • Optional CMake deployment

Terminal and graphics

• ckVision Graphics
  • Scrolling and occlusion
  • Animated raster content
  • Publishing a frame
  • A readout on the frame border
  • Pacing, and staying responsive
  • Knowing the terminal took it
• Terminal host integration
  • Driving the loop
  • Platform-service composition
  • Capability probing
  • Native host diagnostics
  • Signals and shutdown
  • Diagnostics
  • OSC emission safety
  • Hyperlinks (OSC 8)
  • Windows native readiness
  • Multi-application boundary
  • Local multiplexer smoke observation
• Terminal capability profiles
• ckVision Input Decoder, v1
  • Coverage
  • Double clicks and the wheel step
  • Known v1 scope gaps
  • Bracketed-paste trust boundary and recovery
• ckVision Text Width and Grapheme Segmentation
  • Pinned Unicode data
  • Grapheme segmentation
  • Column width
  • Known terminal-divergent cases
  • Safe clipping and elision
  • Sanitization

Integrating

• ckVision Platform Services
  • Owned-process observations
• Captured process helpers
  • One invocation model
  • Captured execution contract
  • Native construction
  • Executable preflight on Windows
  • Independently living Windows processes
  • Captured helpers
• Client handoff
  • Build, verify, and bundle
  • Terminal example troubleshooting
• ckVision Client API Index
  • Application and layout
  • Embedded terminal
  • Chrome and interaction
  • Controls and data views
  • Dialogs and client services
  • Graphics and common components
  • Core values, text, and services
  • Scene composition and capture
  • Terminal hosts, protocols, and diagnostics
  • UI support and testing

Quality

• Performance verification
  • Pinned-host p99 procedure
  • The PTY harness
  • The theme-switch harness
  • Progress displays
• Fuzzing ckVision parsers
  • Invariants and seed corpora
  • Bounded CI corpus
  • Finding promotion and extended runs
• ckVision Golden Dump Format, version 1
  • Structure
  • Version-1 limitations (by design)
  • Script goldens and the presented display
  • Raster records versus rendered-graphics captures
  • Raw terminal-plane companion fixtures
  • Event scripts
  • Paired raster scripts
  • Virtual-display protocol subset
  • Example
• ckVision Documentation Coverage
  • Interaction scripts