documentation
Toggle table of contents
3.0.5
common
Target filter
common
Switch theme
Search in API
Skip to content
documentation
gui-plp
/
it.unibo.tuprolog.ui.gui.plp
/
PlpGuiIds
Plp
Gui
Ids
object
PlpGuiIds
Stable identifiers PLP's GUI extension registers itself and its contributions under.
Members
Properties
BDD_
INSPECTOR
Link copied to clipboard
val
BDD_INSPECTOR
:
FeatureId
COPY_
BDD_
DOT
Link copied to clipboard
val
COPY_BDD_DOT
:
CommandId
EXTENSION
Link copied to clipboard
val
EXTENSION
:
ExtensionId
SOLUTION_
DETAILS
Link copied to clipboard
val
SOLUTION_DETAILS
:
FeatureId