2023-10-18 09:14:58 +00:00
|
|
|
import { Alerts } from '@/features/ide-react/components/alerts/alerts'
|
2023-12-05 10:19:00 +00:00
|
|
|
import { MainLayout } from '@/features/ide-react/components/layout/main-layout'
|
2023-10-26 08:57:00 +00:00
|
|
|
import EditorLeftMenu from '@/features/editor-left-menu/components/editor-left-menu'
|
|
|
|
import { useLayoutEventTracking } from '@/features/ide-react/hooks/use-layout-event-tracking'
|
2023-10-27 08:43:50 +00:00
|
|
|
import useSocketListeners from '@/features/ide-react/hooks/use-socket-listeners'
|
2023-11-03 12:15:36 +00:00
|
|
|
import { useOpenFile } from '@/features/ide-react/hooks/use-open-file'
|
2023-11-13 11:03:03 +00:00
|
|
|
import { useEditingSessionHeartbeat } from '@/features/ide-react/hooks/use-editing-session-heartbeat'
|
|
|
|
import { useRegisterUserActivity } from '@/features/ide-react/hooks/use-register-user-activity'
|
|
|
|
import { useHasLintingError } from '@/features/ide-react/hooks/use-has-linting-error'
|
2023-12-14 11:06:36 +00:00
|
|
|
import { Modals } from '@/features/ide-react/components/modals/modals'
|
2024-01-03 11:12:50 +00:00
|
|
|
import { GlobalAlertsProvider } from '@/features/ide-react/context/global-alerts-context'
|
2023-10-02 09:35:02 +00:00
|
|
|
|
|
|
|
export default function IdePage() {
|
2023-12-05 10:19:00 +00:00
|
|
|
useLayoutEventTracking() // sent event when the layout changes
|
2023-12-05 09:34:21 +00:00
|
|
|
useSocketListeners() // listen for project-related websocket messages
|
|
|
|
useEditingSessionHeartbeat() // send a batched event when user is active
|
|
|
|
useRegisterUserActivity() // record activity and ensure connection when user is active
|
|
|
|
useHasLintingError() // pass editor:lint hasLintingError to the compiler
|
|
|
|
useOpenFile() // create ide.binaryFilesManager (TODO: move to the history file restore component)
|
2023-10-26 08:57:00 +00:00
|
|
|
|
2023-10-02 09:35:02 +00:00
|
|
|
return (
|
2024-01-03 11:12:50 +00:00
|
|
|
<GlobalAlertsProvider>
|
2023-10-18 09:14:58 +00:00
|
|
|
<Alerts />
|
2023-12-14 11:06:36 +00:00
|
|
|
<Modals />
|
2023-10-26 08:57:00 +00:00
|
|
|
<EditorLeftMenu />
|
2023-12-05 09:34:21 +00:00
|
|
|
<MainLayout />
|
2024-01-03 11:12:50 +00:00
|
|
|
</GlobalAlertsProvider>
|
2023-10-02 09:35:02 +00:00
|
|
|
)
|
|
|
|
}
|