2023-10-18 05:14:58 -04:00
|
|
|
import { Alerts } from '@/features/ide-react/components/alerts/alerts'
|
2023-12-05 05:19:00 -05:00
|
|
|
import { MainLayout } from '@/features/ide-react/components/layout/main-layout'
|
2023-10-26 04:57:00 -04: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 04:43:50 -04:00
|
|
|
import useSocketListeners from '@/features/ide-react/hooks/use-socket-listeners'
|
2023-11-03 08:15:36 -04:00
|
|
|
import { useOpenFile } from '@/features/ide-react/hooks/use-open-file'
|
2023-11-13 06:03:03 -05: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 06:06:36 -05:00
|
|
|
import { Modals } from '@/features/ide-react/components/modals/modals'
|
2024-01-03 06:12:50 -05:00
|
|
|
import { GlobalAlertsProvider } from '@/features/ide-react/context/global-alerts-context'
|
2023-10-02 05:35:02 -04:00
|
|
|
|
|
|
|
export default function IdePage() {
|
2023-12-05 05:19:00 -05:00
|
|
|
useLayoutEventTracking() // sent event when the layout changes
|
2023-12-05 04:34:21 -05: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 04:57:00 -04:00
|
|
|
|
2023-10-02 05:35:02 -04:00
|
|
|
return (
|
2024-01-03 06:12:50 -05:00
|
|
|
<GlobalAlertsProvider>
|
2023-10-18 05:14:58 -04:00
|
|
|
<Alerts />
|
2023-12-14 06:06:36 -05:00
|
|
|
<Modals />
|
2023-10-26 04:57:00 -04:00
|
|
|
<EditorLeftMenu />
|
2023-12-05 04:34:21 -05:00
|
|
|
<MainLayout />
|
2024-01-03 06:12:50 -05:00
|
|
|
</GlobalAlertsProvider>
|
2023-10-02 05:35:02 -04:00
|
|
|
)
|
|
|
|
}
|