A C D E G I K N O P R S U V

D

DEFAULT - Static variable in class it.uniroma3.plasm.editors.util.PlasmColorProvider

The color used for PLaSM default text

DIGIT - Static variable in class it.uniroma3.plasm.editors.util.PlasmColorProvider

The color used for PLaSM digits

dispose() - Method in class it.uniroma3.plasm.actionset.CheckPlasmAction

dispose() - Method in class it.uniroma3.plasm.actionset.ExportAction

dispose() - Method in class it.uniroma3.plasm.actionset.StartPlasm

dispose() - Method in class it.uniroma3.plasm.actionset.StopPlasm

dispose() - Method in class it.uniroma3.plasm.editors.PlasmEditor

dispose() - Method in class it.uniroma3.plasm.editors.util.PlasmColorProvider

Release all of the color resources held onto by the receiver.

dispose() - Method in class it.uniroma3.plasm.views.PlasmView

doubleClicked(ITextViewer) - Method in class it.uniroma3.plasm.editors.PlasmDoubleClickStrategy