package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

A side-bar palette of tools.

class tool : ?label:string -> ?tooltip:string -> ?content:Widget.widget -> unit -> object ... end

Configurable palette-tool. Each tool is a widget that consists of three components:

class panel : unit -> object ... end

A Palette. Implemented with a vertical box with a scrollbar.