diff --git a/examples/workflow-theia/src/browser/diagram/workflow-diagram-configuration.ts b/examples/workflow-theia/src/browser/diagram/workflow-diagram-configuration.ts index cdef2aa5..8420bf66 100644 --- a/examples/workflow-theia/src/browser/diagram/workflow-diagram-configuration.ts +++ b/examples/workflow-theia/src/browser/diagram/workflow-diagram-configuration.ts @@ -15,7 +15,7 @@ ********************************************************************************/ import { initializeWorkflowDiagramContainer } from '@eclipse-glsp-examples/workflow-glsp/lib'; -import { ContainerConfiguration } from '@eclipse-glsp/client'; +import { ContainerConfiguration, selectionPaletteModule } from '@eclipse-glsp/client'; import { GLSPDiagramConfiguration } from '@eclipse-glsp/theia-integration'; import { Container, injectable } from '@theia/core/shared/inversify'; @@ -26,6 +26,9 @@ export class WorkflowDiagramConfiguration extends GLSPDiagramConfiguration { diagramType: string = WorkflowLanguage.diagramType; configureContainer(container: Container, ...containerConfiguration: ContainerConfiguration): Container { + containerConfiguration = containerConfiguration.concat(containerConfiguration, [{ + add: selectionPaletteModule + }]); initializeWorkflowDiagramContainer(container, ...containerConfiguration); return container; } diff --git a/packages/theia-integration/css/selection-palette.css b/packages/theia-integration/css/selection-palette.css new file mode 100644 index 00000000..c3686072 --- /dev/null +++ b/packages/theia-integration/css/selection-palette.css @@ -0,0 +1,41 @@ +/* expand button */ + +#selection-palette-expand-button { + background: var(--theia-titleBar-activeBackground); + color: var(--theia-titleBar-activeForeground); +} + +/* search bar */ + +.selection-palette-search { + background: var(--theia-input-background); + color: var(--theia-input-foreground); + border: var(--theia-border-width) solid var(--theia-input-border); + font-family: var(--theia-ui-font-family); + font-size: var(--theia-ui-font-size1); + line-height: var(--theia-content-line-height); +} + +/* header */ + +.selection-palette-group-header { + background: var(--theia-titleBar-activeBackground); + color: var(--theia-titleBar-activeForeground); +} + +.selection-palette-group-header:hover:not(.clicked) { + background: var(--theia-menubar-selectionBackground); +} + +/* single containers */ + +.selection-palette-group-container { + background: var(--theia-menu-background); + color: var(--theia-titleBar-activeForeground); +} + +/* single item */ + +.selection-palette-button:hover:not(.clicked) { + background: var(--theia-list-hoverBackground); +} diff --git a/packages/theia-integration/src/browser/glsp-client-contribution.ts b/packages/theia-integration/src/browser/glsp-client-contribution.ts index 2f9f5378..c97c3737 100644 --- a/packages/theia-integration/src/browser/glsp-client-contribution.ts +++ b/packages/theia-integration/src/browser/glsp-client-contribution.ts @@ -35,6 +35,7 @@ import '../../css/decoration.css'; import '../../css/diagram.css'; import '../../css/theia-dialogs.css'; import '../../css/tool-palette.css'; +import '../../css/selection-palette.css'; import { GLSPContribution, WebSocketConnectionInfo,