Is your feature request related to a problem? Please describe.
Depending on @eclipse-theiacloud/monitor-theia unnecessarily pulls the following dependencies into the Theia-base app:
Consider a bare-minimum application that wishes to monitor user activity to time out the session prematurely; now, all these dependencies π are pulled into the app just for a modal dialog.
Describe the solution you'd like
@eclipse-theiacloud/monitor-theia does not pull in unnecessary dependencies or features.
Describe alternatives you've considered
Pipe dream: there is a modal dialog in @theia/core; @eclipse-theiacloud/monitor-theia depends on @theia/core.
Cluster provider
No response
Additional information
No response