How the extension frontend monitors the active status of users. I want to be able to listen on the extension frontend of the active state of the user, such as moving the mouse, pressing the keyboard events such as listening, I am currently listening in index.html
Theia does not provide a service to identify whether the user is active or not. Maybe checkout this StackOverflow thread for more info on that. Either way, once you found something that works, you can just run it on startup of your frontend application, perhaps in your custom
FrontendApplicationContribution or something similar.