package frama-c

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

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

method add_tool : tool -> unit

Append a palette-tool. The panel ensures that only one tool is selected and toggled.

method add_widget : GObj.widget -> unit

Append an arbitrary widget among other widget tools.

OCaml

Innovation. Community. Security.