mirror of
https://github.com/overleaf/overleaf.git
synced 2024-11-21 20:47:08 -05:00
c3afce73c1
React IDE page: add out-of-sync modal and project deleted modal GitOrigin-RevId: 6081a40c3009e8ebc5b3f9752c4059af3d52966d
73 lines
2.2 KiB
TypeScript
73 lines
2.2 KiB
TypeScript
import { useTranslation } from 'react-i18next'
|
|
import { LostConnectionAlert } from './lost-connection-alert'
|
|
import { useConnectionContext } from '@/features/ide-react/context/connection-context'
|
|
import { debugging } from '@/utils/debugging'
|
|
import { Alert } from 'react-bootstrap'
|
|
import useScopeValue from '@/shared/hooks/use-scope-value'
|
|
|
|
// TODO SavingNotificationController, SystemMessagesController, out-of-sync modal
|
|
export function Alerts() {
|
|
const { t } = useTranslation()
|
|
const {
|
|
connectionState,
|
|
isConnected,
|
|
isStillReconnecting,
|
|
tryReconnectNow,
|
|
secondsUntilReconnect,
|
|
} = useConnectionContext()
|
|
|
|
const [synctexError] = useScopeValue('sync_tex_error')
|
|
|
|
return (
|
|
<div className="global-alerts">
|
|
{connectionState.forceDisconnected ? (
|
|
<Alert bsStyle="danger" className="small">
|
|
<strong>{t('disconnected')}</strong>
|
|
</Alert>
|
|
) : null}
|
|
|
|
{connectionState.reconnectAt ? (
|
|
<LostConnectionAlert
|
|
reconnectAt={connectionState.reconnectAt}
|
|
tryReconnectNow={tryReconnectNow}
|
|
/>
|
|
) : null}
|
|
|
|
{isStillReconnecting ? (
|
|
<Alert bsStyle="warning" className="small">
|
|
<strong>{t('reconnecting')}…</strong>
|
|
</Alert>
|
|
) : null}
|
|
|
|
{synctexError ? (
|
|
<Alert bsStyle="warning" className="small">
|
|
<strong>{t('synctex_failed')}</strong>
|
|
<a
|
|
href="/learn/how-to/SyncTeX_Errors"
|
|
target="_blank"
|
|
id="synctex-more-info-button"
|
|
className="alert-link-as-btn pull-right"
|
|
>
|
|
{t('more_info')}
|
|
</a>
|
|
</Alert>
|
|
) : null}
|
|
|
|
{connectionState.inactiveDisconnect ||
|
|
(connectionState.readyState === WebSocket.CLOSED &&
|
|
(connectionState.error === 'rate-limited' ||
|
|
connectionState.error === 'unable-to-connect') &&
|
|
!secondsUntilReconnect()) ? (
|
|
<Alert bsStyle="warning" className="small">
|
|
<strong>{t('editor_disconected_click_to_reconnect')}</strong>
|
|
</Alert>
|
|
) : null}
|
|
|
|
{debugging ? (
|
|
<Alert bsStyle="warning" className="small">
|
|
<strong>Connected: {isConnected.toString()}</strong>
|
|
</Alert>
|
|
) : null}
|
|
</div>
|
|
)
|
|
}
|