package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (23)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-29.0-Copper.tar.gz

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

doc/frama-c.gui/Frama_c_gui/Menu_manager/index.html

Module `Frama_c_gui.Menu_manager`Source

Handle the menubar and the toolbar.

since Boron-20100401

Sourcetype where =

| Toolbar of GtkStock.id * string * string
(*
Label then tooltip
*)
| Menubar of GtkStock.id option * string
(*
Stock used for icon * Label
*)
| ToolMenubar of GtkStock.id * string * string
(*
Label then tooltip
*)

Where to put a new entry.

since Boron-20100401

Sourcetype callback_state =

| Unit_callback of unit -> unit
| Bool_callback of bool -> unit * unit -> bool

Callback for the buttons that can be in the menus. Standard buttons/menus have a callback with no argument. Buttons/menus with states are displayed with checkboxes in menus, or as toggle buttons in toolbars. They receive the after-click state as argument. The state of the button with the second argument of Bool_callback. Currently checks menus cannot have images in Gtk, or the GtkStock.id fields of where are ignored.

since Nitrogen-20111001

Sourcetype entry = private {

e_where : where;
e_callback : callback_state;
(*
callback called when the button is clicked
*)
e_sensitive : unit -> bool;
(*
should the button be activated when the gui is refreshed
*)

}

since Boron-20100401

If not supplied, the sensitive parameter is the function that always returns true.

since Nitrogen-20111001

Source

val toolbar : 
  ?sensitive:(unit -> bool) ->
  icon:GtkStock.id ->
  label:string ->
  ?tooltip:string ->
  callback_state ->
  entry

Source

val menubar : 
  ?sensitive:(unit -> bool) ->
  ?icon:GtkStock.id ->
  string ->
  callback_state ->
  entry

Source

val toolmenubar : 
  ?sensitive:(unit -> bool) ->
  icon:GtkStock.id ->
  label:string ->
  ?tooltip:string ->
  callback_state ->
  entry

Sourceclass type item = object ... end

The item type corresponding to an entry.

Sourceclass menu_manager : ?packing:(GObj.widget -> unit) -> Gtk_helper.host -> object ... end

How to handle a Frama-C menu.

On This Page

Smart constructors for menu entries.

package frama-c

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c.gui/Frama_c_gui/Menu_manager/index.html

Module Frama_c_gui.Menu_managerSource

Smart constructors for menu entries.

Module `Frama_c_gui.Menu_manager`Source