grapa
Welcome
grapa
grapa.grapa
grapa.GUI
grapa.colorscale
grapa.curve
grapa.curve_image
grapa.curve_inset
grapa.curve_subplot
grapa.database
grapa.datatypes
grapa.frontend
grapa.frontend.frame_curveactions
grapa.frontend.frames_main
grapa.frontend.gui_dataeditor
grapa.frontend.gui_main
grapa.frontend.gui_texts
grapa.frontend.image_to_clipboard
grapa.frontend.interface_openbis
grapa.frontend.observable
grapa.frontend.widgets_custom
grapa.frontend.widgets_graphmanager
grapa.frontend.widgets_graphmanager.test_all
grapa.frontend.widgets_graphmanager.userconfirm_close_notsaved
grapa.frontend.widgets_graphmanager.CustomNotebook
grapa.frontend.widgets_graphmanager.GraphHandler
grapa.frontend.widgets_graphmanager.GraphsTabManager
grapa.frontend.widgets_graphmanager.RecorderSpecialKeys
grapa.frontend.widgets_tooltip
grapa.graph
grapa.internal
grapa.parse
grapa.plot
grapa.scripts
grapa.shared
General Index
Module Index
grapa
grapa
grapa.frontend
grapa.frontend.widgets_graphmanager
grapa.frontend.widgets_graphmanager.RecorderSpecialKeys
View page source
grapa.frontend.widgets_graphmanager.RecorderSpecialKeys
class
grapa.frontend.widgets_graphmanager.
RecorderSpecialKeys
(
value
)
Bases:
str
,
Enum
__init__
(
*
args
,
**
kwds
)
Methods
Attributes
SAVE
OPEN